|
|
75d6f5a42c
|
move Governor.helpers.spec to helpers folder
|
2023-05-03 17:52:59 +02:00 |
|
|
|
f21451facc
|
Merge branch 'master' into fv/Governor
|
2023-05-03 16:43:02 +02:00 |
|
|
|
a7ee03565b
|
Move certora helpers to a dedicated folder (#4211)
|
2023-05-03 14:34:14 +00:00 |
|
|
|
6af1f18eb5
|
merge master
|
2023-05-03 15:17:23 +02:00 |
|
|
|
0daafdb01e
|
fix harness
|
2023-05-03 12:31:07 +02:00 |
|
|
|
0a2a33be30
|
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
Co-authored-by: Francisco <fg@frang.io>
|
2023-05-03 02:54:23 +00:00 |
|
|
|
44d6053b43
|
Only run FV on new or updated specs (#4195)
|
2023-04-28 14:01:41 +02:00 |
|
|
|
8339187625
|
fix
|
2023-04-25 22:28:47 +02:00 |
|
|
|
5af9167030
|
address PR comments
|
2023-04-25 16:15:43 +02:00 |
|
|
|
e072521fcb
|
fix harness
|
2023-04-25 12:04:22 +02:00 |
|
|
|
5e71c01bcc
|
rename valid → sanity
|
2023-04-25 11:08:38 +02:00 |
|
|
|
42580f2891
|
Merge branch 'master' into fv/Governor
|
2023-04-25 11:06:28 +02:00 |
|
|
|
86f6eb2c9c
|
Add FV specification for ERC721 (#4104)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-04-12 00:29:36 -03:00 |
|
|
|
661343f74c
|
Add DoubleEndedQueue FV (#4147)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-04-11 23:17:10 -03:00 |
|
|
|
8d029476af
|
test function with both clocks
|
2023-03-18 21:53:17 +01:00 |
|
|
|
7c62ed2e8a
|
disable problematic rules
|
2023-03-18 09:38:01 +01:00 |
|
|
|
ecec8a7353
|
codespell
|
2023-03-18 09:35:41 +01:00 |
|
|
|
67a00ccaea
|
disable specs we can't fix :/
|
2023-03-17 11:14:02 +01:00 |
|
|
|
a64bb8801c
|
update
|
2023-03-16 21:52:20 +01:00 |
|
|
|
1744132d37
|
Merge branch 'master' into fv/Governor
|
2023-03-16 21:26:40 +01:00 |
|
|
|
5770dfbe36
|
wip
|
2023-03-16 21:25:16 +01:00 |
|
|
|
ddaf4bccf2
|
up
|
2023-03-16 20:56:33 +01:00 |
|
|
|
1a60b061d5
|
Add Pausable FV (#4117)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-03-16 16:08:28 -03:00 |
|
|
|
5ef4d207a6
|
more fixes ?
|
2023-03-16 17:49:21 +01:00 |
|
|
|
3f79e2610c
|
update
|
2023-03-16 16:08:55 +01:00 |
|
|
|
607268bd97
|
timeout
|
2023-03-16 11:02:15 +01:00 |
|
|
|
dbb4a29dc9
|
split function rules
|
2023-03-16 10:59:25 +01:00 |
|
|
|
a355bf0de2
|
fix
|
2023-03-16 09:28:48 +01:00 |
|
|
|
06baea7fa8
|
up
|
2023-03-15 23:28:50 +01:00 |
|
|
|
7512b8e171
|
missing diff
|
2023-03-15 23:23:37 +01:00 |
|
|
|
dd6a9ee240
|
fix attempt
|
2023-03-15 23:23:22 +01:00 |
|
|
|
74f613f5cc
|
fix specs
|
2023-03-15 22:17:11 +01:00 |
|
|
|
d0b259546f
|
fix options
|
2023-03-15 21:35:42 +01:00 |
|
|
|
82bbdb2c64
|
codespell
|
2023-03-15 21:30:51 +01:00 |
|
|
|
89ceb34f0d
|
don't run GovernorFunctions in CI
|
2023-03-15 21:29:40 +01:00 |
|
|
|
96553597fa
|
disable GovernorFunctions
|
2023-03-15 21:18:50 +01:00 |
|
|
|
dfafd79692
|
uo
|
2023-03-15 17:16:47 +01:00 |
|
|
|
50a13d52b9
|
uo
|
2023-03-15 17:13:14 +01:00 |
|
|
|
4ea73a8c05
|
add PreventLateQuorum specs
|
2023-03-15 16:55:14 +01:00 |
|
|
|
4f4b6ab403
|
Update certora/README.md (#4114)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-15 11:06:25 -03:00 |
|
|
|
0874adbd1f
|
spacing
|
2023-03-15 14:16:37 +01:00 |
|
|
|
198c4b7728
|
update
|
2023-03-15 11:54:31 +01:00 |
|
|
|
0d4df8972e
|
add filter to improve prover perf
|
2023-03-14 22:12:14 +01:00 |
|
|
|
d7884251aa
|
update
|
2023-03-14 21:33:13 +01:00 |
|
|
|
d2b5d154d6
|
Merge remote-tracking branch 'upstream/master' into fv/Governor
|
2023-03-14 16:53:55 +01:00 |
|
|
|
397f4cdfe2
|
filter functions that should revert
|
2023-03-14 15:51:22 +01:00 |
|
|
|
75ef7b8b27
|
Add FV specs for TimelockController (#4098)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-14 10:27:37 -03:00 |
|
|
|
728e2c8899
|
fix
|
2023-03-14 11:49:16 +01:00 |
|
|
|
e1120b9137
|
try optimise GovernorStates
|
2023-03-14 10:23:49 +01:00 |
|
|
|
704e265c41
|
fix governor changes spec
|
2023-03-14 10:02:10 +01:00 |
|
