Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Branches
Overview
Active
Stale
All
raphael@precond_iter
116ac0b1
·
WIP: precond_iter
·
Nov 29, 2019
entrypoints
a1eb5528
·
disallow SELF in lambdas
·
Nov 15, 2019
backport-opam-package-changes-from-upstream
58337694
·
PAPAIR and UNPAPAIR macros
·
Oct 23, 2019
michelson_fragment
b95225e1
·
Experiment with gas and fuel.
·
Oct 22, 2019
self_in_origination
59419d47
·
Remove unused module dependencies
·
Oct 03, 2019
zhenlei@cancellable_contract
d33836b0
·
[util]simpl_fuel can apply on hypothesis
·
Sep 30, 2019
zhenlei@internship_report
d5d8e4ee
·
[zhenlei]add presentation about the internship
·
Sep 30, 2019
zhenlei@merge_shared_tree
cc3d995c
·
[merge_shared_tree|Coq]WIP: add the generator of contract
·
Sep 30, 2019
intership_presentation
8f176896
·
Commentaires préliminaires sur la présentation
·
Sep 18, 2019
internship_report
0bb78dde
·
update
·
Sep 17, 2019
raphael@tuto
e22bd2c0
·
Michocott: add coqdoc.sty in .gitignore
·
Sep 05, 2019
!6
arvid@fragment_typer_and_ott_typing
4f48fcc2
·
semantics equivalence for fragment assuming injectivity of untyper
·
Aug 26, 2019
old_merge_with_shared_storage
6b65a392
·
[merge_with_shared_storage]add code and proof
·
Aug 20, 2019
old_merge_with_shared_storage_WIP
1f8e2cf9
·
tmp
·
Aug 10, 2019
old_merge_with_shared_storage_use
eeb953eb
·
add contract_id
·
Aug 09, 2019
old_resiliable_contract_
b5a01c91
·
[enable_pause_spec]en cours
·
Jul 30, 2019
merge_with_shared_storage
bda8d8b3
·
[merge_with_shared_storage]add code and proof
·
Jul 29, 2019
merge-contract
2096672f
·
Rename "contract constants" into addresses
·
Jul 21, 2019
contract_spend
40a3ee2d
·
[coq|spend]add proof
·
Jul 16, 2019
manager-contract-do-entry
89f04eed
·
Remove redundant entrypoints
·
Jul 11, 2019
Prev
1
2
3
4
5
6
Next