Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
Coq Tezos of OCaml 💫
Merge requests
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
Apply: add validity axioms for some functions
!873
· created
Oct 14, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
3
updated
Oct 16, 2022
Move generated simulation code from Context.v to Context_generated.v
!872
· created
Oct 14, 2022
by
Daniel Hilst
Merged
2
Approved
updated
Oct 14, 2022
Draft: init value
!871
· created
Oct 14, 2022
by
Evan Marzion
Closed
updated
Nov 02, 2022
Env: change in notation for letP
!870
· created
Oct 14, 2022
by
Guillaume Claret
Merged
Approved
updated
Oct 14, 2022
Resolve "Verify errors in Main.finalize_block"
!869
· created
Oct 14, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
updated
Oct 14, 2022
Verify Validate.finalize_block
!868
· created
Oct 13, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
12
Approved
updated
Oct 14, 2022
Begin to verify errors in Main.finalize_block
!867
· created
Oct 13, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
Approved
updated
Oct 13, 2022
Record Update
!866
· created
Oct 13, 2022
by
Evan Marzion
Merged
2
updated
Oct 18, 2022
Prove absence of internal errors in Seed_storage
!865
· created
Oct 12, 2022
by
Daniel Hilst
Merged
58
updated
Oct 24, 2022
Env: add the internal errors in letP
!864
· created
Oct 12, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
Approved
updated
Oct 13, 2022
Env: add more definitions for the error monad
!863
· created
Oct 12, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
2
updated
Oct 12, 2022
Verification of Main.value_of_key
!862
· created
Oct 12, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
2
updated
Oct 16, 2022
Address "#394 Port the simulations to proto alpha"
!861
· created
Oct 12, 2022
by
pierrevial
Internal errors (part 2)
Merged
5
updated
Oct 13, 2022
Draft: Prepare_context
!860
· created
Oct 12, 2022
by
Evan Marzion
Closed
updated
Nov 02, 2022
Baking.endorsing_rights_by_first_slot_no_internal_errors and some related lemmas
!859
· created
Oct 12, 2022
by
Andrey Klaus
Internal errors (part 2)
Merged
38
updated
Oct 20, 2022
internal errors new folder
!858
· created
Oct 11, 2022
by
Andrey Klaus
Merged
Approved
updated
Oct 12, 2022
Draft: internal errors new folder
!857
· created
Oct 11, 2022
by
Andrey Klaus
Closed
updated
Oct 11, 2022
Validity predicate for the simulation of raw context
!856
· created
Oct 10, 2022
by
Guillaume Claret
Internal errors (part 2)
Merged
updated
Oct 11, 2022
Generate context part 3
!855
· created
Oct 10, 2022
by
Daniel Hilst
Merged
1
Approved
updated
Oct 12, 2022
Translate more axioms from proto-alpha
!854
· created
Oct 10, 2022
by
Guillaume Claret
Merged
Approved
updated
Oct 10, 2022
Prev
1
…
4
5
6
7
8
9
10
11
12
…
51
Next