summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Collapse)Author
2021-11-15fixAzat Abdullin
2021-07-15v3.2.2Azat Abdullin
2020-12-29mAzat Abdullin
2020-03-20does not depend from btor2toolsAzat Abdullin
2020-03-203.2.0Azat Abdullin
2020-01-10v3.1.0Azat Abdullin
2019-03-05Update to 3.0.0ice-phoenix
2016-12-13644 -> 755ice-phoenix
2016-12-13Initial commitice-phoenix