mirror of
https://github.com/codex-storage/codex-contracts-eth.git
synced 2025-02-24 09:08:16 +00:00
* perf: optimizing parameters sizing * chore: feedback Co-authored-by: markspanbroek <mark@spanbroek.net> * style: formatting * perf: more optimizations * chore: fixes * chore: fix certora spec * chore: more fixes for certora spec * chore: more and more fixes for certora spec * fix: ends type * test(certora): timestamp conversion * test(certora): timestamp conversion again * test(certora): timestamp conversion revert to assert_uint64 * test(certora): timestamp with mathint * test(certora): timestamp back with uint64 with require * Add missing configuration * Fix previous merge * Update StorageRequested to use int64 for expiry * requestDurationLimit => uint64 --------- Co-authored-by: markspanbroek <mark@spanbroek.net> Co-authored-by: Arnaud <arnaud@status.im> Co-authored-by: Eric <5089238+emizzle@users.noreply.github.com>