| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-10-26 | Remove outdated optdepends | kyechou | |
| 2020-12-24 | Update | kyechou | |
| 2019-12-29 | Update to the latest commit | kyechou | |
| 2019-12-06 | Update to 6.5.2 and change source back to the official repo | kyechou | |
| 2019-12-06 | Update to 6.5.1 | kyechou | |
| 2019-08-07 | Change repo to model checker Spin | kyechou | |
| 2016-09-23 | 123 | Egor Kovetskiy | |
| 2016-09-23 | initial commit | Egor Kovetskiy | |