summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2024-02-16Update .SRCINFOÁron Ricardo Perez-Lopez
2021-06-25update to latest btor2toolsDeian Stefan
2020-01-11Update to latestDeian Stefan
2019-06-13initDeian Stefan