|
|
52e0e3e783
|
Extend onlyAuthorized to support extra functions in AccessManager (#5014)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2024-05-27 11:09:42 +02:00 |
|
|
|
e78628bfcf
|
Document AccessManager functions and events in IAccessManager (#4660)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-10-05 12:55:11 -03:00 |
|
|
|
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 |
|
|
|
36bf1e46fa
|
Migrate FV specs to CVL2 (#4527)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-09-11 17:15:51 -03: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 |
|
