TIP is a tiny imperative programming language implemented in Rust.
The ultimate goal of this project is to implement excerscies from Static Program Analysis.
Things that now supported:
- Parser (via lalrpop)
- Pretty AST-printer
- AST-based interpreter
- Per-function CFG dump to graphviz
- Type analisys (with polymorphism)
- llvm's filecheck-like testing framework
- [] AST-based dataflow (in progress)