Age | Commit message (Expand) | Author |
---|---|---|
2024-02-16 | Update .SRCINFO | Á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 .SRCINFO | Á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 |