status-im/codex-contracts-eth
2
0
Fork 0
mirror of https://github.com/status-im/codex-contracts-eth.git synced 2025-02-07 22:23:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
492 Commits 31 Branches 0 Tags 352 MiB
Commit Graph

2 Commits

Author SHA1 Message Date
Mark Spanbroek
cf96d1a79d update solidity to version 0.8.28 2025-02-06 15:54:41 +01:00
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