Commit Graph

3 Commits (ae753b7eac6eaba0e8eebab11ecf2ca5a0057d90)

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