New release CryptoVerif 2.10
Download on the CryptoVerif page Changes since the last release: cv2fstar: use an effect to make sure the generated code is used correctly. translate the security properties proved in CryptoVerif into F* axioms. fixed bug when the name of the table file is not the same as thename of the table. fixed…