Mentions légales du service

Tags

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

v2.04

5b93a039 · added release 2.04 · Nov 30, 2021
```
Release of v2.04
```
v2.03

4853e8ed · added release 2.03 · Sep 07, 2021
```
Release of v2.03
```
v2.02

f9d1ddb9 · updated JFKi-IDISECR-improved.pv to avoid constructors returning bool · Aug 03, 2020
```
Release of ProVerif 2.02
```
v2.01.4_Redundancy

10f24889 · Coming back to set subsumption for redundancy in saturation procedure · May 07, 2020
```
Used to benchmark the global redundancy algorithm
```
v2.01.3_Resolution

9ecb1410 · restored access rights for a few files · May 06, 2020
```
Used benchmark the set-to-clause resolution algorithm
```
v2.01.2_Translation

f07ec576 · tested attack reconstruction without duplication of arguments of names when... · Apr 22, 2020
```
Used benchmark the translation into clauses
```
v2.01.1_Subsumption

18550241 · updated Todo_list · Apr 17, 2020
```
Used benchmark the subsumption of clauses
```
v2.01

0e42de6a · fixed instructions in README.opam · Apr 07, 2020
```
Version 2.01
```
merge_interact3_simulator_bipro

2fa00873 · in case of divergence, the previous state is the one just before divergence: fixed · Aug 03, 2018
merge_vcheval3_new_proof_correspondences_better_var_numbers

90d80b15 · fixed clash session0/session1 · Jul 31, 2018