search

NethermindEth / horus-checker

Horus, a formal verification tool for StarkNet smart contracts.
https://nethermind.io/horus/
Other
71 stars 7 forks source link

Filter non-precondition asserts #172

Closed langfield closed 1 year ago

langfield commented 1 year ago

This commit adds a WIP filtering mechanism for making sure we only use non-precondition asserts in the interpreter branch for CheckPoints.

It needs comments and some source cleanup before merging, also it fails a test.

langfield commented 1 year ago

Superseded by Frantisek's newest branch.