Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
arvid@guillaume-claret@dexter_fa12lqt-verification-bis
94c4e4dc
·
Dexter2/Proof: prove tokenToToken
·
Mar 10, 2021
guillaume-claret@dexter_fa12lqt-verification
7a183370
·
WIP
·
Mar 10, 2021
arvid@guillaume-claret@dexter_fa12lqt-verification
9eed6014
·
Dexter2/Proof: prove tokenToToken
·
Mar 09, 2021
yrg@dexter_fa12lqt-verification-XtzToToken
59555dad
·
Dexter2/Proof: Verify XtzToToken
·
Mar 09, 2021
rafoo@mutez_opacity
f8ed4ec8
·
WIP: mutez opacity
·
Mar 08, 2021
arvid@dexter_fa12lqt-verification__removeLiquidity
58f61976
·
Dexter2: Coq 8.8.0 fixes
·
Mar 08, 2021
colin-dexter_fa12lqt-verification
e8f74dfd
·
Proof for updateTokenPool
·
Mar 08, 2021
yrg@dexter_fa12lqt-verification-update-spec
416793b5
·
Dexter2/Spec: Take care of division by zero
·
Mar 08, 2021
arvid@dexter_fa12lqt-verification__addLiquidity
0ff13fc3
·
Dexter2/Proof: addLiquidity
·
Mar 05, 2021
arvid@opaque-tez-experiments
8c110f0f
·
Opacity attempt
·
Mar 04, 2021
yrg@make-mutez-more-readable
6ba8ea5c
·
Make mutez more readable by keeping the proof implicit
·
Mar 03, 2021
yrg@dexter_fa12lqt-verification-set-manager
e1f32174
·
Proof of setManager correctness
·
Mar 03, 2021
yrg@refactor-make-mutez-more-readable
8d7ecbe5
·
Make mutez more readable by keeping the proof implicit
·
Mar 03, 2021
yrg@verify-vesting
57f6eb85
·
Verify a vesting contract
·
Mar 01, 2021
arvid@ci-rethinking
401e2f7c
·
[ci] split out linting
·
Feb 12, 2021
dexter-fa2-verification-hackish
54cba5c5
·
[dexter/fa2] update proofs
·
Feb 12, 2021
dexter-dfs-compat
936d209e
·
Dexter DFS compat: always call trusted contracts first
·
Feb 07, 2021
rafoo@dexter-whiteknight-verfication
936d209e
·
Dexter DFS compat: always call trusted contracts first
·
Feb 07, 2021
arvid@cpmm-verification
10d93ac9
·
tmp: remove dexter to make pipeline leaner
·
Feb 02, 2021
45-formalize-the-fa2-specification-and-verify-implementations
f6a9666a
·
talk_18_01_2021_cpp_lightning_talk
·
Jan 19, 2021
Prev
1
2
3
4
5
6
Next