Releases: AkashPriyadarshii/c2proof
Releases · AkashPriyadarshii/c2proof
Release list
v0.1.0
Initial release. Transpiles flat C projects to compiling Rust and generates a REPORT.md parity artifact.
Initial release. Transpiles flat C projects to compiling Rust and generates a REPORT.md parity artifact.