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
Add new current import for the protocol from July 2021
!53
· created
Jul 01, 2021
by
Guillaume Claret
Merged
updated
Jul 01, 2021
Move the alpha files to 2021_01
!52
· created
Jul 01, 2021
by
Guillaume Claret
Merged
updated
Jul 01, 2021
Protocol, June 2021
!51
· created
Jun 11, 2021
by
Guillaume Claret
Closed
1
updated
Jul 01, 2021
Update the generation with taged GADTs
!50
· created
Mar 19, 2021
by
Guillaume Claret
Merged
updated
Mar 19, 2021
Improve the extraction to OCaml
!49
· created
Feb 11, 2021
by
Guillaume Claret
Merged
1
updated
Feb 25, 2021
WIP: Storage functor proofs
!48
· created
Feb 08, 2021
by
Guillaume Claret
Closed
1
updated
Nov 23, 2021
Roll storage proofs
!47
· created
Feb 08, 2021
by
lykimquyen
Merged
18
updated
Feb 09, 2021
Parse/unparse for comparable_ty and ty
!46
· created
Feb 02, 2021
by
Guillaume Claret
Merged
32
updated
Feb 22, 2021
Upgrade to Coq 8.13
!45
· created
Feb 01, 2021
by
Guillaume Claret
Merged
updated
Feb 01, 2021
Upgrade the protocol version at 2021-02-01
!44
· created
Feb 01, 2021
by
Guillaume Claret
Merged
updated
Feb 01, 2021
Remove the existentials from top-level modules
!43
· created
Jan 20, 2021
by
Guillaume Claret
Merged
updated
Jan 26, 2021
Add documentation with docusaurus
!42
· created
Jan 14, 2021
by
Guillaume Claret
Merged
32
updated
Apr 26, 2021
Fix proofs folder of coq-of-ocaml
!41
· created
Jan 14, 2021
by
Guillaume Claret
Merged
updated
Jan 14, 2021
Add monadic lemma
!40
· created
Jan 05, 2021
by
Guillaume Claret
Merged
1
updated
Jan 05, 2021
WIP: Storage functor proofs
!39
· created
Jan 05, 2021
by
Guillaume Claret
Closed
1
updated
Feb 08, 2021
WIP: Update to the gas counting
!38
· created
Dec 16, 2020
by
Guillaume Claret
Closed
1
updated
Feb 08, 2021
Parse/unparse + compilation of the storage
!37
· created
Dec 16, 2020
by
Guillaume Claret
Merged
updated
Jan 04, 2021
Show that unparse_comparable_ty does not change with the annotations
!36
· created
Dec 11, 2020
by
Guillaume Claret
Merged
updated
Dec 14, 2020
add correctness proofs for Level_storage.v
!35
· created
Dec 01, 2020
by
lykimquyen
Closed
updated
Jul 05, 2021
Add the correctness proofs for Gas_limit_repr.v
!34
· created
Nov 30, 2020
by
lykimquyen
Merged
2
updated
Dec 04, 2020
Prev
1
…
45
46
47
48
49
50
51
Next