Skip to content
GitLab
Explore
Sign in
Open
0
Merged
7
Closed
0
All
7
Merge trains
Recent searches
Loading
{{ 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 verification docs
!7
· created
Sep 07, 2024
by
Moritz Brödel
Merged
updated
Sep 11, 2024
add ResultExpr & ThisExpr to checkExpr and e2s
!6
· created
Jul 25, 2024
by
Tim Holzenkamp
Merged
updated
Jul 25, 2024
fix error with parsing struct#*
!5
· created
Jun 27, 2024
by
Tim Holzenkamp
Merged
updated
Jun 28, 2024
Print parsed instead of raw solc-verify output
!4
· created
Jun 14, 2024
by
Moritz Brödel
Merged
updated
Jun 14, 2024
Add package qualifier & finalize verification
!3
· created
Jun 09, 2024
by
Moritz Brödel
Merged
2
updated
Jun 11, 2024
Fix collaboration
!2
· created
Apr 24, 2024
by
Moritz Brödel
Merged
updated
Apr 24, 2024
Fix Solidity code generation
!1
· created
Apr 22, 2024
by
Moritz Brödel
Merged
updated
Apr 22, 2024
