| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-02-16 | Update git protocol | Áron Ricardo Perez-Lopez |
| 2021-06-25 | update to latest btor2tools | Deian Stefan |
| 2020-01-11 | Update to latest | Deian Stefan |
| 2019-06-13 | init | Deian Stefan |
| AUR : btor2tools-git.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-02-16 | Update git protocol | Áron Ricardo Perez-Lopez |
| 2021-06-25 | update to latest btor2tools | Deian Stefan |
| 2020-01-11 | Update to latest | Deian Stefan |
| 2019-06-13 | init | Deian Stefan |