Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
rafoo@serialization
a86cc92b
·
WIP: serialization of Micheline nodes
·
Sep 29, 2021
yrg@cpmm2-economic-properties
228db5cd
·
Remove useless comments
·
Jun 21, 2021
version-1
protected
32dc8635
·
[Changes] Added a changelog
·
Jun 15, 2021
!138
rafoo@concert_integration
97d11c9d
·
Move data_aux outside of the semantics functor
·
May 31, 2021
yrg@wip-cpmm2-economic-properties
0a2d979f
·
WIP
·
May 27, 2021
yrg@cpmm2-new-version
466c12e3
·
Update code and proof of CPMM2
·
May 12, 2021
arvid@cpmm2-verification
5e263500
·
Proof of xtzToToken
·
Apr 30, 2021
dexter_fa12lqt-verification
7ccb3361
·
Use the fuel-free WP in Dexter proofs
·
Apr 20, 2021
arvid@dexter-lemmas-and-refactorings
1916f18d
·
[mi-cho-coq] add compare_gt_lt to comparable.v
·
Apr 20, 2021
arvid@re-organize-contracts_coq
54e84d63
·
silly me
·
Apr 08, 2021
arvid@ci-build-refactor-cache
9749d159
·
[ci] add cache opam directory
·
Apr 08, 2021
yrg@optimize-micheline-lexer
a47a2c0c
·
Fix missed occurrences of loc_micheline in Menhir file
·
Mar 24, 2021
yrg@optimize-micheline-lexical-analysis
92c0f63a
·
Micheline_lexer: Remove unused argument in range_aux
·
Mar 23, 2021
rafoo@dexter_fa12lqt-verification
cfc357cb
·
Use the fuel-free WP in Dexter proofs
·
Mar 18, 2021
rafoo@dexter_perf_experiment
927aa341
·
Dexter proof: delay computation of the typed scripts and use vm_compute
·
Mar 17, 2021
guillaume-claret@dexter_fa12lqt-verification-benchmark-token-to-token
49b0bb69
·
Benchmark after cleaning
·
Mar 12, 2021
guillaume-claret@dexter_fa12lqt-verification-experiments
c944fe4d
·
WIP
·
Mar 12, 2021
guillaume-claret@dexter_fa12lqt-verification-string-eqb
d7b21f4f
·
[mi-cho-coq] Replace String.string_dec by String.eqb
·
Mar 12, 2021
rafoo@semantics-projections
75aba35e
·
WIP: redefine the evaluator to use fst and snd instead of
·
Mar 11, 2021
yrg@dexter_fa12lqt-verification-tokenToXtz
31d8f0b4
·
Proof of correctness for TokenToXtz
·
Mar 10, 2021
Prev
1
2
3
4
5
6
Next