Authorizer: Rename hasPermissions function #138
Conversation
|
Once the job is completed, the results will be available at https://prover.certora.com/output/50838/8716fdd96ae0400c9d6746056dd92bcb?anonymousKey=9ad6b6a70ea31b9ae20b8ffcd0d708d368935f81 |
lgalende
force-pushed
the
authorizer/rename_has_permissions_function
branch
from
c37d0b3
to
21d57b0
Compare
|
Once the job is completed, the results will be available at https://prover.certora.com/output/50838/521fe3c0ba3f498eb4df111db00ced6b?anonymousKey=597bdd689ff38d17ecdb19b5e09e1a785ee6cd5d |
|
Once the job is completed, the results will be available at https://prover.certora.com/output/50838/b3407750e68b4276af5d23083f28edff?anonymousKey=38bcf68103bd85ae74fbe6ffb79b804def313370 |
|
Once the job is completed, the results will be available at https://prover.certora.com/output/50838/e5695df17cc94966b0de1e6f34db354f?anonymousKey=2732b83b4461511c9a1921547b0014b8eb82faf8 |
|
Closing this one for now, re-scheduling for a later major upgrade |
No description provided.