Feature/fp (!10) · Merge requests · pub / colibrics · GitLab

Arthur Correnson requested to merge feature/FP into master May 19, 2021

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