Skip to content


Arthur Correnson requested to merge feature/FP into master
  • FP values (Float32, Float64) based on Farith
  • Basic tests to ensures that sorts Float32 & Float 64 are recognized & can be interpreted
  • check & convert are not yet registered
  • fp operators as described in SMT-LIB are not yet implemented

Merge request reports