Age | Commit message (Expand) | Author |
---|---|---|
2024-01-21 | updated build | Mr.Smith1974 |
2023-07-10 | Updated build | Mr.Smith1974 |
2019-12-16 | Update ikos 3.0 | Maxime Arthaud |
2019-08-31 | Update ikos 2.2 | Maxime Arthaud |
2018-12-10 | Update ikos 2.1 | Maxime Arthaud |
2018-10-20 | Update download url | Maxime Arthaud |
2018-10-17 | Update ikos 2.0 | Maxime Arthaud |
2017-10-24 | Update ikos 1.3 | Maxime Arthaud |
2016-10-22 | Fix: forgot to update .SRCINFO | Maxime Arthaud |
2016-06-27 | Upgrade to IKOS 1.1.0 | Maxime Arthaud |
2016-05-26 | Initial commit | Maxime Arthaud |