| -1787070457 New | | evm-redex models the EVM as a formal small-step semantics (a Redex reduction relation over an explicit machine/world/transaction grammar) and runs that semantics directly against the official Ethereum test vectors. It is derived from ethereum/execution-specs and validated against ethereum/tests / EEST. | Racket | succeeds | 0 |