|
|
36bf1e46fa
|
Migrate FV specs to CVL2 (#4527)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-09-11 17:15:51 -03:00 |
|
|
|
7c02b5cab2
|
Refactor DoubleEndedQueue (#4150)
Co-authored-by: Francisco <fg@frang.io>
|
2023-07-27 15:37:31 -03:00 |
|
|
|
8b2ed0f570
|
Fix early reporting of FV prover's output (#4213)
Co-authored-by: Francisco <fg@frang.io>
|
2023-05-04 13:54:22 -03: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 |
|
|
|
3214f6c256
|
Add FV specification for ERC20Wrapper (#4100)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-08 22:12:37 +00:00 |
|
|
|
b952a82d29
|
Throw error when requested specs are not found (#4101)
|
2023-03-08 22:16:37 +01:00 |
|
|
|
aaad1f4a4f
|
Add FV specs for Ownable and Ownable2Steps (#4094)
Co-authored-by: Santiago Palladino <spalladino@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-08 19:30:07 +01:00 |
|
|
|
4fb6833e32
|
Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2023-03-06 21:31:48 +00:00 |
|
