Commit Graph

3 Commits (29a953954d308d0786403155db1eff9addcf6e2b)

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