Experimental optimising compiler and static analyser for an intentionally unsafe C-style system programming language.
compiler random-forest static-analysis ssa cse tail-call-optimization register-allocation cfg dag z3-smt-solver function-inlining instruction-selection peephole-optimization instruction-planning licm
-
Updated
Aug 11, 2026 - C