Commit Graph

3 Commits (d1a07f01f336436c389994f05f4223c737fc5ec4)

Author SHA1 Message Date
Ernesto García 52e0e3e783
Extend `onlyAuthorized` to support extra functions in AccessManager (#5014) 9 months ago
Hadrien Croubois e78628bfcf
Document AccessManager functions and events in IAccessManager (#4660) 1 year ago
Hadrien Croubois aca4030e4a
Formal verification of AccessManager (#4611) 1 year ago