v0.13.2Control flow and dataflow are rebuilt on explicit semantics, Z3 translation matches executable C# numeric rules, and the build chain is hermetic and supply-chain verified with hash- and size-pinned Z3 binaries.See what's new

calor self-test

Compile embedded reference programs and compare the generated output with the compiler's golden files.

Bash
calor self-test
calor self-test --scenario 01_hello_world --verbose

--scenario, or -s, selects one named scenario. --verbose, or -v, shows detailed output and diffs for failures. This checks compiler distribution integrity; it is separate from calor self-check, which checks agent-facing artifacts and documentation.