Tags · BLANCHET Bruno / CryptoVerif · GitLab

Tags give the ability to mark specific points in history as being important

v2.02

8a92602f · version number in CHANGES · Dec 18, 2019

Download source code

zip tar.gz tar.bz2 tar
v2.01pl1

735bd12b · notes on improvement in FindCompos · Jun 12, 2019
```
Version 2.01pl1
```
Download source code

zip tar.gz tar.bz2 tar
v2.01

aa9f17b1 · fixed bug when xtime is absent · Apr 02, 2019
```
Version 2.01 Apr 2, 2019
```
Download source code

zip tar.gz tar.bz2 tar