Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
27
Merged
106
Closed
45
All
178
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}}
Created date
[ctez] Verify the cfmm contract
!177
· created
Apr 07, 2023
by
Kristina Sojakova
dev
updated
Sep 19, 2023
Verify the ctez contract
!176
· created
Apr 03, 2023
by
Kristina Sojakova
dev
updated
Sep 19, 2023
[FA2] The Formal FA2 standard and the verification of two reference implementations.
!175
· created
Mar 30, 2023
by
Kristina Sojakova
dev
updated
Sep 19, 2023
[FA1.2] Verify FA1.2 camlCase, Edukera, and Dexter implementations
!174
· created
Mar 16, 2023
by
Kristina Sojakova
dev
updated
Apr 04, 2023
[michocoq] trivial lemmas on timestamp comparison
!173
· created
Dec 01, 2022
by
Raphaël Cauderlier
dev
3
updated
Dec 13, 2022
[michocoq] Refactor comparisons to avoid duplication
!171
· created
Nov 28, 2022
by
Kristina Sojakova
dev
9
updated
Apr 03, 2023
Draft: Simplify extraction
!168
· created
Nov 18, 2022
by
Raphaël Cauderlier
dev
state
blocked
1
updated
Jan 09, 2023
Draft: [michocoq] use instruction instead of instruction_seq for the code part of scripts
!148
· created
Dec 13, 2021
by
Raphaël Cauderlier
dev
updated
Oct 19, 2022
Draft: michelson2micheline (micheline2michelson x) = Return x
!144
· created
Oct 22, 2021
by
Raphaël Cauderlier
dev
framework
updated
Dec 13, 2021
Draft: WIP: typeclass for comparability
!143
· created
Oct 12, 2021
by
Raphaël Cauderlier
dev
framework
1
updated
Sep 20, 2023
Draft: Adapt Dexter2 proofs for CPMM2
1 of 4 checklist items completed
!124
· created
Apr 16, 2021
by
Arvid Jakobsson
dexter_fa12lqt-verification
dexter2
smart-contract verification
updated
Apr 11, 2022
Draft: Arvid@re organize contracts coq
0 of 2 checklist items completed
!121
· created
Apr 08, 2021
by
Arvid Jakobsson
dev
2
updated
Oct 19, 2022
Draft: [ci] add cache opam directory
!119
· created
Apr 08, 2021
by
Arvid Jakobsson
dev
ci
4
updated
Oct 09, 2023
Arvid@dexter lemmas and refactorings
!118
· created
Apr 08, 2021
by
Arvid Jakobsson
dev
2
updated
Apr 11, 2022
Replace String.string_dec by String.eqb in Dexter 2
!113
· created
Mar 12, 2021
by
Guillaume Claret
dexter_fa12lqt-verification
1
Approved
updated
Sep 19, 2023
Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5)
!100
· created
Feb 18, 2021
by
Arvid Jakobsson
dev
dexter2
smart-contract verification
updated
Apr 20, 2021
Draft: [dexter/fa2] add a hackish version of fa2 def/spec
!99
· created
Feb 12, 2021
by
Arvid Jakobsson
dexter-verification
smart-contract verification
updated
Apr 11, 2022
Dexter 1.1 verification
!98
· created
Feb 09, 2021
by
Raphaël Cauderlier
dexter-verification
5
updated
Sep 20, 2023
Draft: Dexter/CPMM verification
!95
· created
Feb 02, 2021
by
Arvid Jakobsson
dev
smart-contract verification
updated
Apr 11, 2022
WIP: Add admin-lambda contract
!92
· created
Jan 06, 2021
by
Michael J Klein
dev
updated
Oct 19, 2022
Prev
1
2
Next