Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
15
Merged
842
Closed
156
All
1,013
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
Repr: add definitions which should help the proofs
!113
· created
Nov 17, 2021
by
Guillaume Claret
proof-of-delegate-service
Closed
4
Approved
updated
Nov 17, 2021
Hash: add more specification for base58
!112
· created
Nov 16, 2021
by
Guillaume Claret
Merged
updated
Nov 17, 2021
Hash: specify environment hashes
!111
· created
Nov 16, 2021
by
Guillaume Claret
31-hash-specify-blake2b
Merged
2
Approved
updated
Nov 17, 2021
Resolve "Verify Blinded_public_key_hash.v"
!110
· created
Nov 16, 2021
by
Guillaume Claret
Merged
1
Approved
updated
Nov 17, 2021
Add proofs to Contract_repr.v
!109
· created
Nov 16, 2021
by
Guillaume Claret
Merged
2
updated
Nov 17, 2021
Draft: Proofs for TODO/Delegate_services.v
!108
· created
Nov 16, 2021
by
Daniel Hilst
Closed
5
updated
Nov 19, 2021
Verify contract hash
!107
· created
Nov 16, 2021
by
Guillaume Claret
Merged
1
Approved
updated
Nov 16, 2021
Add proofs / code / OCaml links to the pages
!106
· created
Nov 15, 2021
by
Guillaume Claret
Merged
updated
Nov 15, 2021
Resolve "Verify Cycle_repr.v"
!105
· created
Nov 15, 2021
by
Guillaume Claret
state::in-review
Merged
2
updated
Nov 15, 2021
Add blog post on the translation of Tenderbake
!104
· created
Nov 08, 2021
by
Guillaume Claret
Merged
updated
Nov 09, 2021
Add Tenderbake changes
!103
· created
Nov 05, 2021
by
Guillaume Claret
Merged
updated
Nov 05, 2021
Update the README
!102
· created
Nov 01, 2021
by
Guillaume Claret
Merged
updated
Nov 01, 2021
Add blog post on types in Mi-Cho-Coq
!101
· created
Oct 29, 2021
by
Guillaume Claret
Merged
6
updated
Nov 02, 2021
Upgrade the protocol 2021-10-28
!100
· created
Oct 28, 2021
by
Guillaume Claret
Merged
updated
Oct 28, 2021
Resolve "Verify Roll_repr.v"
!99
· created
Oct 28, 2021
by
Guillaume Claret
Merged
updated
Oct 28, 2021
Resolve "Data-encoding: generalize the `obj` axioms"
!98
· created
Oct 27, 2021
by
Guillaume Claret
state::in-progress
Merged
updated
Oct 27, 2021
Use parallel lib to parallelize import of OCaml
!97
· created
Oct 27, 2021
by
Guillaume Claret
Merged
updated
Oct 27, 2021
Blog: review from @rafoo_
!96
· created
Oct 26, 2021
by
Guillaume Claret
Merged
updated
Oct 26, 2021
Draft: Bijection instr <-> Mi-Cho-Coq
!95
· created
Oct 26, 2021
by
Guillaume Claret
Closed
1
updated
Nov 23, 2021
Draft: Add proofs to Contract_repr.v
!94
· created
Oct 25, 2021
by
Daniel Hilst
Closed
21
updated
Nov 16, 2021
Prev
1
…
42
43
44
45
46
47
48
49
50
51
Next