Roadmap for Q1 and Q2 of 2026
- Dominant language
- Haskell
- Stars
- 358
- Forks
- 79
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 6
Description
This is an overview to track goals and progress for the near future.
- [ ] Osaka support: Progress tracked in #939
- [x] Update our compliance testing infrastructure (#941)
- [x] Separate concrete and symbolic execution (#953)
- [x] Compile hevm into WASM (#841)
- [ ] Support invariant testing with multi-transaction analysis (#957)
- [ ] Improved UX (#931, #895, #710)
- [ ] Nix updates (#952)
Contributor guide
No contributing guide indexed for this repository
Research direction
No files, tests, or entry points are named. Start by reviewing the roadmap and its referenced issues (#939, #941, #953, #841, #957, #931, #895, #710, and #952) to determine which unchecked goal is actionable; done means the selected roadmap item is completed and its checkbox can be updated.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell, wasm
- Domain
- devtools, testing
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100