3 Commits

Author	SHA1	Message	Date
ernestognw	cd86596938	Add setAuthority rule to AccessManaged	2024-04-19 12:02:44 -06:00
ernestognw	52665fd9b3	Fix AccessManaged summarization	2024-04-19 11:34:12 -06:00
Hadrien Croubois	aca4030e4a	Formal verification of AccessManager (#4611) ... Co-authored-by: Ernesto García <ernestognw@gmail.com> Co-authored-by: Francisco Giordano <fg@frang.io>	2023-10-04 21:17:15 +02:00