summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
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-10-22Update ikos 1.2Maxime Arthaud
2016-06-27Upgrade to IKOS 1.1.0Maxime Arthaud
2016-05-26Initial commitMaxime Arthaud