 Hadrien Croubois
|
e9779f8ef2
Merge remote-tracking branch 'upstream' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
8b2ed0f570
Fix early reporting of FV prover's output (#4213)
|
2 years ago |
|
Hadrien Croubois
|
df88ea34d0
fix lint
|
2 years ago |
|
Hadrien Croubois
|
fd5f309d86
improve stateTransitionWait
|
2 years ago |
|
Hadrien Croubois
|
e856ebbbb5
Merge branch 'CI/FV/urls' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
7c37ea0ff6
fix rewrite
|
2 years ago |
|
Hadrien Croubois
|
2a6ccebfb7
Fix early reporting of FV prover's output
|
2 years ago |
|
Hadrien Croubois
|
6af1f18eb5
merge master
|
2 years ago |
|
Hadrien Croubois
|
0a2a33be30
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
|
2 years ago |
|
Hadrien Croubois
|
44d6053b43
Only run FV on new or updated specs (#4195)
|
2 years ago |
|
Hadrien Croubois
|
f71bc6899f
clean
|
2 years ago |
|
Hadrien Croubois
|
318cfd501b
update
|
2 years ago |
|
Hadrien Croubois
|
ec82e2f6fd
use micromatch
|
2 years ago |
|
Hadrien Croubois
|
1f5982b5e3
starting to work on governor specifications
|
2 years ago |
|
Hadrien Croubois
|
3214f6c256
Add FV specification for ERC20Wrapper (#4100)
|
2 years ago |
 Francisco
|
b952a82d29
Throw error when requested specs are not found (#4101)
|
2 years ago |
|
Hadrien Croubois
|
aaad1f4a4f
Add FV specs for Ownable and Ownable2Steps (#4094)
|
2 years ago |
|
Hadrien Croubois
|
4fb6833e32
Formal verification using Certora (#4084)
|
2 years ago |