Add support for IEEE 754 floats - #225

Draft

lorenzorota wants to merge 10 commits into

circify:masterfrom

lorenzorota:ieee-754

Commits on Feb 17, 2025

Added floats to the IR textual format
Lorenzo Rota
committed

Commits on Feb 18, 2025

Introduced Op::PfToFp, added placeholders for FP ops in IR eval
Lorenzo Rota
committed

Commits on Feb 21, 2025

Implemented FP Ops and added tests
Lorenzo Rota
committed
Apply fmt and fix linting errors
Lorenzo Rota
committed
Fixed linting error in target/r1cs/mod.rs
Lorenzo Rota
committed
Fixed 2 tests with minor mistakes
Lorenzo Rota
committed

Commits on Feb 25, 2025

Removed implicit float promotion in FpBinOp and FpBinPred
Lorenzo Rota
committed
Removed implicit conversion of F32 into F64 from as_f64_opt and as_f64
Lorenzo Rota
committed

Commits on Mar 12, 2025

Initial progress on compiler pass for IEEE754
Lorenzo Rota
committed
Fixed doc error
Lorenzo Rota
committed