| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-11-13 | Update to 2.05 | Matěj Grabovský |
| 2020-12-18 | Update to 2.04 | Matěj Grabovský |
| 2020-10-20 | Update to 2.03pl1 | Matěj Grabovský |
| 2020-07-06 | Update to 2.02 | Matěj Grabovský |
| 2019-06-23 | Update to 2.01pl1 | Matěj Grabovský |
| 2019-05-27 | Update to 2.01 | Matěj Grabovský |
| 2018-06-03 | Update to 2.0.0 | Matěj Grabovský |
| 2017-11-25 | Update to 1.28 | Matěj Grabovský |
| 2017-10-10 | Update to 1.27 | Matěj Grabovský |
| 2017-08-24 | Update to 1.26 | Matěj Grabovský |
| 2017-02-15 | Update to 1.25 | Matěj Grabovský |
| 2016-11-20 | Update to 1.24 | Matěj Grabovský |
| 2016-08-09 | Update to 1.23 | Matěj Grabovský |
| 2015-11-13 | Update to 1.22 | Matěj Grabovský |
| 2015-10-15 | Really update to 1.21 | Matěj Grabovský |
| 2015-10-09 | Update to 1.21 | Matěj Grabovský |
| 2015-08-19 | Tweak source parameter | Matěj Grabovský |
| 2015-08-18 | Description for the cryptokit dependency | Matěj Grabovský |
| 2015-08-18 | Package for CryptoVerif version 1.20 | Matěj Grabovský |