Age | Commit message (Expand) | Author |
---|---|---|
2021-11-15 | fix | Azat Abdullin |
2021-07-15 | v3.2.2 | Azat Abdullin |
2020-12-29 | m | Azat Abdullin |
2020-03-20 | does not depend from btor2tools | Azat Abdullin |
2020-03-20 | 3.2.0 | Azat Abdullin |
2020-01-10 | v3.1.0 | Azat Abdullin |
2019-03-05 | Update to 3.0.0 | ice-phoenix |
2016-12-13 | 644 -> 755 | ice-phoenix |
2016-12-13 | Initial commit | ice-phoenix |