summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2024-01-21updated buildMr.Smith1974
2023-07-10Updated buildMr.Smith1974
2019-12-16Update ikos 3.0Maxime Arthaud
2019-08-31Update ikos 2.2Maxime Arthaud
2018-12-10Update ikos 2.1Maxime Arthaud
2018-10-20Update download urlMaxime Arthaud
2018-10-17Update ikos 2.0Maxime Arthaud
2017-10-24Update ikos 1.3Maxime Arthaud
2016-10-22Fix: forgot to update .SRCINFOMaxime Arthaud
2016-06-27Upgrade to IKOS 1.1.0Maxime Arthaud
2016-05-26Initial commitMaxime Arthaud