Consensys/evm-dafny Issues
Updates for `GNUMakefile`
Closed 3Prepare `Cancun` Fork
ClosedImplement `SHANGHAI` Fork
Closed 1Implement `LONDON` fork
Closed 2Implement `BASEFEE` correctly
Closed 1Transaction Nonce Overflow
UpdatedSupport Z3 `4.12.x`
Closed 2Update to Dafny `4.4.0`
ClosedExploit the `opaque` modifier
Updated 1Add `Counter` Example
UpdatedRefactor `SlicePeek()`
UpdatedSimplify Postconditions
UpdatedAdd RLP implementation
UpdatedMove Tests into `DafnyCrypto`
Closed 1Update to Dafny `v4.2.0`
Closed