Experimental optimising compiler and static analyser for an intentionally unsafe C-style system programming language - Cordell Programming Language (CPL).
random-forest static-analysis ssa cse register-allocation dag tco z3-smt-solver tre function-inlining instruction-selection peephole-optimization instruction-planning licm cordellprogramminglanguage
-
Updated
Nov 2, 2026 - C