Skip to content

Feature/fp check

Arthur Correnson requested to merge feature/fp-check into master
  • Register checker for Float32
  • Register converter for Float32
  • Better support for the fp theory as described in smtlib2 (new support for fp comparisons, binary operations and conversion from reals to float32, Nan, +oo, -oo, +0, -0)
Edited by Arthur Correnson

Merge request reports