Commit Graph

3 Commits (0df841d2d75352786532e9e26f400efdef78d86e)

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