Mentions légales du service

A GitLab upgrade is scheduled for Monday October 20th, 2025 and Tuesday 21th. The service will be unavailable from 9 am to 12. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

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