Roadmap #1
Description
- Frontend
- Input
- CLI arguments
- Unstable CLI arguments (
-Z) - Standard JSON
- Stable vs unstable/nightly separation (?)
- Config
- CLI arguments
- TOML file (?)
- Diagnostics
- Builder
- Human-readable emitter (
annotate-snippets) - JSON emitter
- File loading/resolution
- Lexing
- Low-level cursor
- Glued (combined) tokens (e.g.
Plus, Eq->BinOpEq(Plus)) - Interned strings (
Symbol)
- AST AST/parser improvements #26
- Data structures
-
IDs (?) - Visitors
- Pretty printer Implement a simple AST pretty-printer #27
- Parsing AST/parser improvements #26
- Items (source unit and contract elements)
- Pragma versions
- Statements
- Expressions
- Literals
- Types
-
[u]fixedMxN
-
- Yul
- AST validation Implement AST validation #29
- HIR
- AST to HIR
- Yul to HIR Lower Yul to HIR #415
- Symbol resolution
- Generate state variable getters Generate getter functions for public state variables #52
- Builder Implement HIR builder #64
- Recursive visitors Implement HIR visitor #63
- Pretty printer Implement a simple HIR pretty-printer #86
- Type system
- HIR to Ty
- Array length evaluation
- Type checking
- Better "Member not found or not visible after argument-dependent lookup" error message
- Emit ABI
- Include referenced events and errors, alongside the defined ones ABI output should include referenced events, not just defined #305
- Misc checks
- ContractLevelChecker Implement
ContractLevelChecker#303 - view/pure checker
- static analysis + lint infrastructure
- ContractLevelChecker Implement
- Control-flow graph (CFG) generation
- Unused/unreachable declarations
- Input
- Middle-end / optimizer
- Backend / codegen
- EVM, legacy
- EVM, EOF v1
- Tests
- Solc
- UI
- Codegen with LLVM FileCheck
- Run
- bytecode with revm
- IR with interpreter