| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-16 | Update git protocol | Áron Ricardo Perez-Lopez | |
| 2021-06-25 | update to latest btor2tools | Deian Stefan | |
| Thanks to xiretza! | |||
| 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 (Collapse) | Author | |
|---|---|---|---|
| 2024-02-16 | Update git protocol | Áron Ricardo Perez-Lopez | |
| 2021-06-25 | update to latest btor2tools | Deian Stefan | |
| Thanks to xiretza! | |||
| 2020-01-11 | Update to latest | Deian Stefan | |
| 2019-06-13 | init | Deian Stefan | |