37991642dc
nightly
2 years ago
1038b7f2c7
wip GovernorPreventLateQuorum
2 years ago
7dc201fce9
fix some specs
2 years ago
bf73fb4013
fix GovernorPreventLateQuorum.spec
2 years ago
6c4ffe783f
cleanup accesscontrol specs
2 years ago
f21f86c3c1
fixing certora/specs/GovernorCountingSimple.spec
2 years ago
2e7bca424a
cleanup GovernorBase.spec
2 years ago
d4e9d8d54d
fix error in one of the governor rules
2 years ago
baf71582b9
improve helperFunctionsWithRevert
2 years ago
ecebc5688d
add --optimistic_hashing to governor scripts
2 years ago
3c58e4e3d3
isOperationReady NOT envfree
2 years ago
4242fdace4
isOperationReady envfree
2 years ago
14b40eddcb
add --optimistic_hashing
2 years ago
c8c8ca39d7
cleanup
2 years ago
150edce57b
fix timelockcontroller
2 years ago
9f2d511d20
fix2
2 years ago
b50d9980be
fix
2 years ago
423a808748
fix harness
2 years ago
0c89a8b771
Automate release process via Changesets ( #3915 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
88a64a802e
Update guidelines and project documentation ( #3966 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
2 years ago
e04f7ded94
Fixed GPLQ spec, all rules passing ( #3822 )
...
Co-authored-by: Michael George <michael@certora.com>
Co-authored-by: Nick Armstrong <nick@certora.com>
Co-authored-by: Michael George <mdgeorge@cs.cornell.edu>
Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
2 years ago
2c5194f3f1
Clean and fix formal verification ( #3798 )
...
Co-authored-by: Michael George <michael@certora.com>
Co-authored-by: Nick Armstrong <nick@certora.com>
Co-authored-by: Michael George <mdgeorge@cs.cornell.edu>
Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
2 years ago
07ac1030e7
chmod -x certora/scripts/**/*.sh
2 years ago
a73d7ab57b
get rid of certora/helpers
2 years ago
89962af163
Fix ERC20Wrapper.spec
2 years ago
c7a544d568
move passing scripts out of noCI
2 years ago
634c37becf
enable ci test for some (passing) rules
2 years ago
fed8d5c856
refactor & improve ERC20 specs
2 years ago
597202d904
finish ERC20 base specs + move all other specs to noCI for the time being
2 years ago
8f6a03204e
Start working on ERC20 specs
2 years ago
d916e2edf4
further script cleanup
2 years ago
8b1042371a
remove some scripts from CI run
2 years ago
38d21cab86
update scripts
2 years ago
bfbf4d8398
clean applyHarness
2 years ago
49333bcc24
clean applyHarness
2 years ago
3252e54f2b
use solc without version & remove send_only
2 years ago
cc7837fb46
cleanup scripts/*.sh
2 years ago
9ce8455ae0
run certora scripts
2 years ago
e7f770591b
update harness and matrix
2 years ago
94f9f7ac58
test matrix
2 years ago
b2ec06aaf2
test matrix
2 years ago
0fa6aad5e5
Update certora harness
2 years ago
e9f53ebc02
run prettier --write
2 years ago
24fc709533
Set up codespell ( #3643 )
2 years ago
2627753bfe
votes solvency passing again
3 years ago
4820ed4ea8
missing erc20votes harnessing
3 years ago
4a3b0bb875
filters for skipped functions
3 years ago
3e6045155e
reorganized scripts
3 years ago
1701b0c7fd
fix erc1155supply vacuity, change CI solc version to 8.4
3 years ago
962a5023e6
remove commented code, fix some old scripts
3 years ago
Hadrien Croubois
Ernesto García
Francisco
teryanarmen
Nick Armstrong
teryanarmen