Issues

• Port bitwuzla FP rewrites

  opencompl/fp-lean#96 · Filter by author bollu opened on Jul 3, 2026

• Create tactic that rewrites pack(unpack(x)) into x

  opencompl/fp-lean#95 · Filter by author bollu opened on Jul 3, 2026

• Reimplement FP.pack into a version that creates one PackedFloat per case

  opencompl/fp-lean#77 · Filter by author bollu opened on Apr 18, 2026

• Model Reconstruction

  opencompl/fp-lean#20 · Filter by author abdoo8080 opened on Dec 12, 2025

• Symbolic Evaluator

  opencompl/fp-lean#19 · Filter by author abdoo8080 opened on Dec 12, 2025

• Grab FP rewrites from Bitwuzla and add them to normalizer

  opencompl/fp-lean#13 · Filter by author bollu opened on Dec 9, 2025

• Correctly Namespace everything with Fp

  opencompl/fp-lean#5 · Filter by author bollu opened on Nov 10, 2025