Roadmap

[DaniPopes]

• 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
    • 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
  • Misc checks
    • ContractLevelChecker
    • view/pure checker
    • static analysis + lint infrastructure
  • Control-flow graph (CFG) generation
    • Unused/unreachable declarations
• Middle-end / optimizer
  • Third-party:
    • Venom
    • Sonatina
  • Local middle-end IR
    • In-tree intermediate IR to run optimizations locally before codegen
  • Basic optimizations
  • Solidity-specific optimizations
    • ...?
• Backend / codegen
  • EVM, legacy
  • EVM, EOF v1

---

• Tests
  • Solc
  • UI
  • Codegen with LLVM FileCheck
  • Run
    • bytecode with revm
    • IR with interpreter