search

codex-storage / codex-contracts-eth

Ethereum smart contracts for Codex
Other
6 stars 9 forks source link

chore: formally verify request state changes #142

Closed 0x-r4bbit closed 1 month ago

0x-r4bbit commented 2 months ago

This commit adds CVL rule that formally verifies the state changes of any given request in relation to the functions of the contract that can cause them.

Closes #128