Commit Graph

3 Commits (0034c302241c4b1a1685272d4df42ca5d64b8c34)

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