Experimental optimising compiler and static analyser for an intentionally unsafe C-style system programming language.
compilerrandom-foreststatic-analysisssacsetail-call-optimizationregister-allocationcfgdagz3-smt-solverfunction-inlininginstruction-selectionpeephole-optimizationinstruction-planninglicm
-
Updated
Sep 2, 2026 - C