 Michael George
|
44cedd5ea2
made scripts executable
|
3 years ago |
|
Michael George
|
7ffbf6a3c8
renamed governor sanity script
|
3 years ago |
|
Michael George
|
b5980a569c
reorganized governance verification in preparation for erc20 verification
|
3 years ago |
|
Michael George
|
7912b1af7d
filtered out relay, since it is havocing
|
3 years ago |
|
Michael George
|
2a75aa19bd
added munging to scripts
|
3 years ago |
|
Michael George
|
d95c3eeee1
removed some spurious comments
|
3 years ago |
|
Michael George
|
22de642692
simplified README somewhat, included additional information about munging
|
3 years ago |
|
Michael George
|
6bd525fd67
Merge branch 'master' into certora/governor
|
3 years ago |
|
Michael D. George
|
8c0684ad13
Merge branch 'OpenZeppelin:master' into master
|
3 years ago |
|
Michael George
|
3c150953ed
harnessing fix
|
3 years ago |
|
Michael George
|
d64869545d
did some harnessing
|
3 years ago |
|
Michael George
|
5888bee853
fixed executeOnly rule
|
3 years ago |
|
Michael George
|
ec5d501791
filtered out timeouts
|
3 years ago |
|
Michael George
|
760edf9b87
tweaked script to run quickly
|
3 years ago |
 Hadrien Croubois
|
a05312f1b7
fix changelog structure
|
3 years ago |
|
Hadrien Croubois
|
abf6024faf
Add a governor module to protect against late quorum (#2973)
|
3 years ago |
|
Michael George
|
380b87dc0c
switched harnesses to use munged contracts
|
3 years ago |
|
Michael George
|
f3087407c6
created applyHarness
|
3 years ago |
|
Michael George
|
749738f2aa
moved contract modifications into munged directory
|
3 years ago |
 Aleksander Kryukov
|
7d0eeab6f7
HarnessCleaning
|
3 years ago |
|
Aleksander Kryukov
|
dae72a7e1b
FixingScriptsToWorkWithNewChanges
|
3 years ago |
|
Aleksander Kryukov
|
96c6120609
NewFileForRulesInProgress
|
3 years ago |
|
Hadrien Croubois
|
6089f11c2f
Add a relay mechanism in the governor (#2926)
|
3 years ago |
 David Brailovsky
|
3536587665
Fix typo (#2992)
|
3 years ago |
 Michael M
|
de594921cc
fix script
|
3 years ago |
|
Aleksander Kryukov
|
f40c48a83d
madeVeryfyAllMoreFlexible
|
3 years ago |
 Francisco Giordano
|
7d17acfb2f
Merge branch 'release-v4.4'
|
3 years ago |
|
Francisco Giordano
|
4961a51cc7
4.4.0
|
3 years ago |
|
Francisco Giordano
|
94a0b8f573
Make VestingWallet token event argument indexed (#2988)
|
3 years ago |
|
Francisco Giordano
|
0859c70936
Make VestingWallet token event argument indexed (#2988)
|
3 years ago |