Roadmap for Q1 and Q2 of 2026 #951
Description
This is an overview to track goals and progress for the near future.
- Osaka support: Progress tracked in [meta] Fusaka support #939
- Update our compliance testing infrastructure (Move away from ethereum/tests #941)
- Separate concrete and symbolic execution (Separation of concrete and symbolic execution #953)
- Compile hevm into WASM (WASM compiled hevm #841)
- Support invariant testing with multi-transaction analysis (How to execute more than one symbolic transaction #957)
- Improved UX (We shoud have an option to export all calldata to hit all branches #931, Source not found when showing a trace of a contract with source code #895,
interpretcould return the pair of program counters and contracts visited #710) - Nix updates (Update nixpkgs and GHC #952)