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
Merge requests
Open
27
Merged
105
Closed
45
All
177
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
WIP: Optimize Michelson lexical analysis
!103
· created
Mar 02, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
32
updated
Jun 28, 2022
Dexter 2: Proof for ep_default correct.
!102
· created
Feb 26, 2021
by
Colin González
dexter_fa12lqt-verification
dexter2
smart-contract verification
Closed
3
updated
Mar 08, 2021
Draft: Resolve "Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)"
!101
· created
Feb 26, 2021
by
Colin González
smart-contract verification
Closed
updated
Mar 04, 2021
FA1.2 formalization and cross verification
!97
· created
Feb 08, 2021
by
Arvid Jakobsson
dev
smart-contract verification
Closed
14
updated
Dec 13, 2021
Formalize the FA1.2 specification and verify an implementation
!82
· created
Sep 14, 2020
by
Arvid Jakobsson
dev
formalisation
smart-contract verification
Closed
1
updated
Nov 11, 2020
[multisig] add root entrypoint to generic multisig
!80
· created
Aug 19, 2020
by
Tomáš Zemanovič
Closed
5
updated
Aug 29, 2020
WIP: Michocoq Syntax: notation to ease annotations
!65
· created
Mar 13, 2020
by
Julien
dev
Closed
1
updated
Sep 04, 2023
Update generic multisig and its proof to use CHAIN_ID
!64
· created
Mar 11, 2020
by
Tomáš Zemanovič
Closed
3
updated
Mar 11, 2020
Add an entrypoint to self
!60
· created
Mar 09, 2020
by
Guillaume Claret
dev
Closed
3
updated
Mar 10, 2020
Integrate the output of coq-of-ocaml with the interpreter
!57
· created
Feb 18, 2020
by
Guillaume Claret
dev
coq-of-ocaml 🐓
Closed
4
updated
Oct 20, 2022
WIP: Beginning of import of the evaluation function
!52
· created
Dec 16, 2019
by
Guillaume Claret
dev
coq-of-ocaml 🐓
Closed
updated
Oct 20, 2022
Backport upstream changes to the opam package
!39
· created
Oct 14, 2019
by
Guillaume Claret
Closed
1
updated
Oct 23, 2019
WIP: Functor cancellable contract
!38
· created
Sep 30, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
WIP: Functor merge with shared tree
!37
· created
Sep 30, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
zhenlei's internship report
!36
· created
Sep 26, 2019
by
hu zhenlei
Closed
1
updated
Feb 26, 2020
WIP: Merge with shared storage
!34
· created
Jul 29, 2019
by
hu zhenlei
Closed
1
updated
Mar 16, 2020
WIP: Contract spend
!32
· created
Jul 16, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
WIP: Merge contract
!31
· created
Jul 16, 2019
by
hu zhenlei
Closed
1
updated
Mar 16, 2020
manager.tz 'do' entrypoint and 'add_do'/'add_set_delegate' transformations
!29
· created
Jul 11, 2019
by
Tomáš Zemanovič
Closed
3
updated
Aug 07, 2019
Fix a typing bug occurring when SELF was used in a Michelson origination
!24
· created
Jun 28, 2019
by
Raphaël Cauderlier
bug
Closed
7
0 of 2 Approvals
updated
Oct 22, 2019
Prev
1
2
3
Next