Mentions légales du service
Skip to content
GitLab
Explore
Sign in
BLANCHET Bruno
CryptoVerif
Repository
Branches
Overview
Active
Stale
All
easycrypt-tx
97924201
·
easycrypt API : refactoring
·
Sep 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
anonymous_2.00extended
a29547c0
·
anonymous release of an extension of CV 2.00
·
Dec 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
devbb
af487598
·
improved doc of query_equiv; updated TODO
·
Nov 20, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
macro_bug_fix
28b5ad85
·
fixed macro expansion bug: updated TODO, updated expected results, comment
·
Nov 22, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
simpler_test_scripts
09b71188
·
updated .gitignore
·
Dec 16, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cv2.02_polishing
ccaf004d
·
updated TODO
·
Dec 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020.01.equiv_special
7eeecc67
·
Merge branch '2020.01.equiv_special' of gitlab.inria.fr:bblanche/CryptoVerif...
·
Feb 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020.02.equiv_special_SPRP_ICM
02676c26
·
updated CHANGES and TODO
·
Feb 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020.03.insert_find_with_defs_inside_branches
e23aded2
·
updated TODO
·
Mar 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020.04.use_variable
051d9b57
·
revised runtime of hpke
·
Mar 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
blipp_cv2fstar
7cecd028
·
Change to new cryptokit project URL
·
Jun 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
blipp_gdh_equiv
abb10224
·
Merge branch 'master' into blipp_gdh_equiv
·
Jul 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assume_replace
b7427798
·
added result in assume_replace.cv
·
Aug 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
careful_cleanup
8df6fe30
·
try to cleanup at the end of transf_simplify_nonexpanded
·
Aug 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_close_def_internal_error
e4a9cde8
·
added expected result for examplesnd/test/hpke.curveprime.auth.outsider-auth.cv
·
Sep 01, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bug_incompatibility_should_detected_earlier
e8e31b8d
·
added expected result
·
Sep 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
process_occ_only_for_before_and_after
8d10187c
·
updated examples
·
Sep 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
explain_failure_equivalence
348d83e4
·
one bug fix
·
Sep 13, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020.05.guess
5088b01b
·
another example (does not work yet); updated TODO
·
Sep 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
improved_proba
a0bc093e
·
Merge branch 'master' into improved_proba
·
Sep 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
Next