Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
27
Merged
106
Closed
45
All
178
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
[Michocoq] ignore annotations on sum types everywhere but in parameter
!122
· created
Apr 09, 2021
by
Raphaël Cauderlier
dev
bug
framework
Merged
updated
Apr 25, 2021
Update manager.tz
!126
· created
Apr 23, 2021
by
nmm5055
Closed
1
updated
Apr 23, 2021
Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5)
!100
· created
Feb 18, 2021
by
Arvid Jakobsson
dev
dexter2
smart-contract verification
updated
Apr 20, 2021
[michocoq] Avoid redefining `False` in `util.v`
!123
· created
Apr 11, 2021
by
Raphaël Cauderlier
dev
bug
Merged
Approved
updated
Apr 12, 2021
Slides and script for talk_18_01_2021_cpp_lightning_talk
!94
· created
Jan 19, 2021
by
Arvid Jakobsson
doc
Merged
1
updated
Apr 09, 2021
Fix the behaviour of `./configure` with no arguments
!117
· created
Apr 08, 2021
by
Arvid Jakobsson
dev
Merged
Approved
updated
Apr 09, 2021
CI: Refactor build by extracting contracts
!116
· created
Apr 07, 2021
by
Arvid Jakobsson
dev
ci
Merged
6
updated
Apr 08, 2021
CI/Lint: refactor
!115
· created
Apr 07, 2021
by
Arvid Jakobsson
dev
ci
Merged
Approved
updated
Apr 08, 2021
Make mutez more readable by keeping the proof implicit
!106
· created
Mar 03, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
4
updated
Apr 07, 2021
Dexter2: Proof of ep_tokenToXTZ
!107
· created
Mar 05, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
dexter2
smart-contract verification
Merged
2
updated
Mar 10, 2021
Dexter: token_to_token entry-point
!111
· created
Mar 10, 2021
by
Guillaume Claret
dexter_fa12lqt-verification
Closed
1
updated
Mar 10, 2021
Take division by zero into account in the specification
!109
· created
Mar 08, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
Closed
1
updated
Mar 09, 2021
Dexter2: Verify XtzToToken
!110
· created
Mar 08, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
dexter2
smart-contract verification
Merged
updated
Mar 09, 2021
Dexter2: Proof for add/removeLiquidity
!108
· created
Mar 05, 2021
by
Arvid Jakobsson
dexter_fa12lqt-verification
dexter2
smart-contract verification
Merged
updated
Mar 08, 2021
Dexter 2: Proof for ep_default correct.
!102
· created
Feb 26, 2021
by
Colin González
dexter_fa12lqt-verification
dexter2
smart-contract verification
Closed
3
updated
Mar 08, 2021
Dexter2: Proof of setManager correctness
!105
· created
Mar 03, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
dexter2
Closed
2
updated
Mar 08, 2021
Draft: Resolve "Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)"
!101
· created
Feb 26, 2021
by
Colin González
smart-contract verification
Closed
updated
Mar 04, 2021
Avoid parsing 3 three times source file
!104
· created
Mar 02, 2021
by
Yann Regis-Gianas
dev
Merged
1
Approved
updated
Mar 02, 2021
Add tez vesting contract
!90
· created
Sep 30, 2020
by
Michael J Klein
dev
Merged
21
1
updated
Feb 03, 2021
Enforce sorting of concrete sets and maps during typing
!83
· created
Sep 16, 2020
by
Raphaël Cauderlier
beta-release
dev
formalisation
Merged
5
Approved
updated
Nov 19, 2020
Prev
1
2
3
4
5
6
7
8
9
Next