Skip to content
GitLab
Explore
Sign in
pub
colibrics
Merge requests
!12
Feature/fp check
Code
Review changes
Check out branch
Download
Patches
Plain diff
Arthur Correnson
requested to merge
feature/fp-check
into
master
Jun 03, 2021
Overview
0
Commits
19
Pipelines
7
Changes
34
Expand
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
Jun 09, 2021
by
Arthur Correnson
Merge request reports