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 feature-check

Check whether the C#-to-Calor converter supports a C# feature.

Bash
calor feature-check async-await
calor feature-check --list
calor feature-check --list --level partial

--level filters the registry to full, partial, notsupported, or manualrequired. A support level describes the converter's expected handling; conversion can still preserve an unsupported construct as an interop block. Use calor coverage for a source-file-specific report and calor convert for the actual conversion and loss report.