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
rafoo@talk_nl_seminar
8ed29065
·
Final fixes
·
Nov 10, 2020
dexter-verification-cleanup-lemmas
24e13811
·
[dexter] clean up lemmas
·
Oct 09, 2020
arvid@dexter-verification-updates-20200928-coq8.08
08edb748
·
[dexter] update proof for exchange entrypoints
·
Sep 29, 2020
arvid@dexter-verification-stringfix
70173e1d
·
[dexter] wip: try fix notation error
·
Sep 21, 2020
rafoo@slides_inria_day
6e53f26d
·
Adapt to Bruno's template
·
Sep 19, 2020
dexter-verification-rebase
0df29e84
·
[dexter] updates for new contract/address formalization
·
Sep 15, 2020
arvid@rafoo@simplify-eval_precond-rebased
5796046f
·
Simplification of the formula produced by eval_precond
·
Sep 15, 2020
bb@dexter-verification
ccf5f784
·
[dexter] proof for ep_setBaker_correct
·
Sep 07, 2020
rafoo@tpbc
4eabc129
·
[doc] Slides TPBC
·
Jun 24, 2020
51-verify-dexter-2-dexter-fa1-2lqt-dexter-1-5
eb5a0b46
·
[build] sort and remove duplicates in the opam dependencies
·
Jun 22, 2020
rafoo@tzt
6410e498
·
WIP: self and param
·
Jun 18, 2020
dexter-verification-approve
d2f3f7c3
·
experiments
·
Jun 12, 2020
arvid@dexter-verification-parsing-test
41c95a74
·
[Dexter parsing] Minor modif to debug the storage type difference
·
Jun 04, 2020
chain-modelisation-guestbook
1b25d138
·
Prove functional spec of guestbook contract and simple lifetime prop
·
Mar 31, 2020
!62
guillaume-claret-integrate-coq-of-ocaml-output
a5c0f3c9
·
[of_ocaml] Add generated Coq code from the Tezos protocol with some proofs
·
Mar 17, 2020
guillaume-claret-semantics-injection
d8e37897
·
WIP
·
Mar 17, 2020
julien@entrypoint_notations
b2cd0504
·
[Michocoq|Syntax] or notation
·
Mar 13, 2020
guillaume-claret-add-entrypoint-to-self
447c99f1
·
Add an entrypoint to SELF
·
Mar 10, 2020
guillaume-claret-full-eval-function
ad13642c
·
WIP
·
Jan 03, 2020
guillaume-claret-gadts-without-annotations
9ed92e00
·
Add beginning of equivalence of the interpreters
·
Dec 17, 2019
Prev
1
2
3
4
5
6
Next