| Age | Commit message (Collapse) | 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-10-22 | Update ikos 1.2 | Maxime Arthaud | |
| 2016-06-27 | Upgrade to IKOS 1.1.0 | Maxime Arthaud | |
| 2016-05-26 | Initial commit | Maxime Arthaud | |