Historial de Commits

Autor SHA1 Mensaje Fecha
  Ernesto García 52e0e3e783 Extend `onlyAuthorized` to support extra functions in AccessManager (#5014) hace 1 año
  Hadrien Croubois e78628bfcf Document AccessManager functions and events in IAccessManager (#4660) hace 2 años
  Hadrien Croubois aca4030e4a Formal verification of AccessManager (#4611) hace 2 años