|
|
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 |
|
