| Age | Commit message (Expand) | 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 |