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
Draft: Contact services todo
!123
· created
Nov 22, 2021
by
Daniel Hilst
Closed
2
updated
Nov 23, 2021
Review on Delegate_services proofs
!122
· created
Nov 22, 2021
by
Guillaume Claret
delegate-service-todo
Closed
updated
Nov 22, 2021
Draft: Proofs for TODO/Delegate_services.v
!108
· created
Nov 16, 2021
by
Daniel Hilst
Closed
5
updated
Nov 19, 2021
Draft: small proofs to pick up the ropes
!65
· created
Aug 10, 2021
by
corneliuhoffman
state::in-review
Closed
17
updated
Nov 18, 2021
Draft: Resolve "Convert the Ruby to Python"
!92
· created
Oct 19, 2021
by
Guillaume Claret
state::in-progress
Closed
1
updated
Nov 18, 2021
Draft: WIP Constants_repr
!70
· created
Aug 23, 2021
by
corneliuhoffman
state::in-review
Closed
19
updated
Nov 18, 2021
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
Draft: Add code for token management
!54
· created
Jul 09, 2021
by
Guillaume Claret
Closed
1
updated
Nov 17, 2021
Draft: Add proofs to Contract_repr.v
!94
· created
Oct 25, 2021
by
Daniel Hilst
Closed
21
updated
Nov 16, 2021
Draft: Add proofs to Contract_repr.v
!89
· created
Oct 08, 2021
by
Daniel Hilst
Closed
21
updated
Oct 25, 2021
add correctness proofs for Level_storage.v
!35
· created
Dec 01, 2020
by
lykimquyen
Closed
updated
Jul 05, 2021
Protocol, June 2021
!51
· created
Jun 11, 2021
by
Guillaume Claret
Closed
1
updated
Jul 01, 2021
WIP: Update to the gas counting
!38
· created
Dec 16, 2020
by
Guillaume Claret
Closed
1
updated
Feb 08, 2021
WIP: Storage functor proofs
!39
· created
Jan 05, 2021
by
Guillaume Claret
Closed
1
updated
Feb 08, 2021
Add proofs for parsing / unparsing operations
!20
· created
Nov 08, 2020
by
Guillaume Claret
Closed
1
updated
Feb 08, 2021
Quyen@add correct proofs
!21
· created
Nov 16, 2020
by
lykimquyen
Closed
21
updated
Nov 30, 2020
Prev
1
…
4
5
6
7
8
Next