logos-storage/logos-storage-contracts-eth
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-contracts-eth.git synced 2026-08-25 10:01:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
485 Commits 33 Branches 0 Tags
feat/decrease-period-for-proofs-on-new-thread
Commit Graph
2 Commits
Author SHA1 Message Date
Mark Spanbroek 9826f31788 update solidity to version 0.8.28 2025-03-04 09:33:20 +01:00
r4bbit0xb337r007Adam Uhlíř
 		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