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 analyze-convertibility

Analyze how likely C# source is to convert successfully to Calor.

Bash
calor analyze-convertibility <path> [options]
OptionDescription
--format, -fOutput text or json; defaults to text
--output, -oWrite the report to a file instead of stdout
--quick, -qRun only stage 1 and skip the conversion attempt
--verbose, -vShow a per-file breakdown for directories

This command estimates conversion success. calor assess instead ranks files by the value of migrating them, while calor coverage explains feature coverage for one file.