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
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