| Age | Commit message (Collapse) | 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 | |