|
|
aca4030e4a
|
Formal verification of AccessManager (#4611)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2023-10-04 21:17:15 +02:00 |
|
|
|
7c02b5cab2
|
Refactor DoubleEndedQueue (#4150)
Co-authored-by: Francisco <fg@frang.io>
|
2023-07-27 15:37:31 -03:00 |
|
|
|
a1d57bac50
|
Improve FV specifications for AccessControlDefaultAdminRules (#4223)
Co-authored-by: ernestognw <ernestognw@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2023-05-23 12:54:34 -06:00 |
|
|
|
a7ee03565b
|
Move certora helpers to a dedicated folder (#4211)
|
2023-05-03 14:34:14 +00:00 |
|
