Historique des commits

Auteur SHA1 Message Date
  Ernesto García 52e0e3e783 Extend `onlyAuthorized` to support extra functions in AccessManager (#5014) il y a 1 an
  Hadrien Croubois e78628bfcf Document AccessManager functions and events in IAccessManager (#4660) il y a 2 ans
  Hadrien Croubois aca4030e4a Formal verification of AccessManager (#4611) il y a 2 ans