search

safe-global / safe-modules

A collection of modules that can be used with the Safe contract
GNU Lesser General Public License v3.0
140 stars 73 forks source link

Yoav/singleton #428

Closed yoav-el-certora closed 3 months ago

yoav-el-certora commented 3 months ago

Singleton rules - https://prover.certora.com/output/99668/7fddbcf98d05489f809a140748db93bc?anonymousKey=51599344159c01b74a673481f5ab08ee41a97ad1

Webauthn improvements - https://prover.certora.com/output/99668/9053d3771efa4dc7a781eae144afdfcb?anonymousKey=8a60e12e1454c1c99c65898f3f19cd969a2f6377 https://prover.certora.com/output/99668/5960078f160c4a99aca7833531031b8a?anonymousKey=cf724866ad0813cbea2d5f091076710acb8d8cd3

github-actions[bot] commented 3 months ago

CLA Assistant Lite bot:
Thank you for your submission, we really appreciate it. Like many open-source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution. You can sign the CLA by just posting a Pull Request Comment same as the below format.

I have read the CLA Document and I hereby sign the CLA

0 out of 3 committers have signed the CLA.
:x: @yoav-el-certora
:x: @nivcertora
:x: @liav-certora
You can retrigger this bot by commenting recheck in this Pull Request