 Hadrien Croubois
|
6c4ffe783f
cleanup accesscontrol specs
|
2 years ago |
|
Hadrien Croubois
|
9f2d511d20
fix2
|
2 years ago |
|
Hadrien Croubois
|
b50d9980be
fix
|
2 years ago |
|
Hadrien Croubois
|
423a808748
fix harness
|
2 years ago |
 teryanarmen
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
Hadrien Croubois
|
89962af163
Fix ERC20Wrapper.spec
|
3 years ago |
|
Hadrien Croubois
|
c7a544d568
move passing scripts out of noCI
|
3 years ago |
|
Hadrien Croubois
|
597202d904
finish ERC20 base specs + move all other specs to noCI for the time being
|
3 years ago |
|
Hadrien Croubois
|
8f6a03204e
Start working on ERC20 specs
|
3 years ago |
|
Hadrien Croubois
|
38d21cab86
update scripts
|
3 years ago |
|
Hadrien Croubois
|
bfbf4d8398
clean applyHarness
|
3 years ago |
|
Hadrien Croubois
|
49333bcc24
clean applyHarness
|
3 years ago |
|
Hadrien Croubois
|
e7f770591b
update harness and matrix
|
3 years ago |
|
Hadrien Croubois
|
0fa6aad5e5
Update certora harness
|
3 years ago |
 Nick Armstrong
|
2627753bfe
votes solvency passing again
|
3 years ago |
|
Nick Armstrong
|
4820ed4ea8
missing erc20votes harnessing
|
3 years ago |
 teryanarmen
|
1701b0c7fd
fix erc1155supply vacuity, change CI solc version to 8.4
|
3 years ago |
|
teryanarmen
|
990fd18c21
make ERC1155Harness, set up script, and undo munging for ERC1155
|
3 years ago |
|
teryanarmen
|
cab8e489b2
initializable final draft, ready for review
|
3 years ago |
|
teryanarmen
|
b2cdcc38d4
final govPreventLateQ
|
3 years ago |
 Michael George
|
04382cd1d3
fixed a munging merge problem
|
3 years ago |
|
Michael George
|
d01f3ba925
unclobbered gitignore file
|
3 years ago |
|
Michael George
|
94eba74016
removed some patch cruft
|
3 years ago |
|
Michael George
|
8ec6785cb8
Merge branch 'master' into certora/erc1155ext. Resolved conflicts in
|
3 years ago |
|
teryanarmen
|
fa89068f2b
8.5/10 rules finished
|
3 years ago |
|
teryanarmen
|
793b88efd8
finalize fist 3 rules; fix old governor spec
|
3 years ago |
|
teryanarmen
|
6add1e7718
setup GovLateQuorum and add 3 rules for deadlines
|
3 years ago |
|
Nick Armstrong
|
cab9b09b7b
rough contracts all finished
|
3 years ago |
|
Nick Armstrong
|
3f1ee39910
call trace error
|
3 years ago |
|
Nick Armstrong
|
6895946f41
updated rules
|
3 years ago |