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}}
Updated date
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
Add blog article data encoding
!93
· created
Oct 20, 2021
by
Guillaume Claret
Merged
9
updated
Oct 22, 2021
Add direct link to the proofs
!91
· created
Oct 15, 2021
by
Guillaume Claret
Merged
updated
Oct 15, 2021
Resolve "Verify Path_encoding.v"
!90
· created
Oct 12, 2021
by
Guillaume Claret
state::in-progress
Merged
updated
Oct 12, 2021
Add search button, thanks to Algolia
!88
· created
Oct 08, 2021
by
Guillaume Claret
Merged
updated
Oct 11, 2021
Add conversion from/to comparable types
!87
· created
Oct 06, 2021
by
Guillaume Claret
Merged
updated
Oct 07, 2021
Use a blue rooster as logo + update the Tezos blue
!86
· created
Oct 05, 2021
by
Guillaume Claret
Merged
updated
Oct 05, 2021
Add Mi-Cho-Coq
!85
· created
Oct 04, 2021
by
Guillaume Claret
Merged
updated
Oct 05, 2021
Resolve "Formalize what is a valid RPC_arg"
!84
· created
Oct 01, 2021
by
Guillaume Claret
Merged
updated
Oct 04, 2021
Resolve "Verify Raw_level_repr.v"
!81
· created
Sep 27, 2021
by
Guillaume Claret
Merged
1
updated
Oct 01, 2021
Resolve "Verify Contract_storage.v"
!82
· created
Sep 28, 2021
by
Guillaume Claret
Merged
updated
Oct 01, 2021
Add blog authors
!83
· created
Sep 29, 2021
by
Guillaume Claret
Merged
updated
Sep 29, 2021
Enable pages compression
!80
· created
Sep 26, 2021
by
Guillaume Claret
Merged
updated
Sep 27, 2021
Add more TODOs
!78
· created
Sep 23, 2021
by
Guillaume Claret
Merged
updated
Sep 26, 2021
Changes to the logos and links
!79
· created
Sep 26, 2021
by
Guillaume Claret
Merged
updated
Sep 26, 2021
Add TODO folder
!77
· created
Sep 23, 2021
by
Guillaume Claret
Merged
updated
Sep 23, 2021
Many protocol updates
!76
· created
Sep 15, 2021
by
Guillaume Claret
Merged
updated
Sep 15, 2021
Naive storage formalization
!74
· created
Sep 07, 2021
by
Guillaume Claret
Merged
updated
Sep 13, 2021
Prev
1
…
35
36
37
38
39
40
41
42
43
Next