status-im
/
dagger-contracts
mirror of https://github.com/status-im/dagger-contracts.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
430 Commits 26 Branches 0 Tags 314 MiB
Commit Graph

1 Commits

Author SHA1 Message Date
r4bbit 688a8ed929
Set up certora and implement first rules (#122) 
Co-authored-by: 0xb337r007 <0xe4e5@proton.me>
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
 2024-07-24 18:50:18 +02:00