Skip to content

Consistent bit-vector encoding of comparisons, string lengths and char codes - #81

Closed
nils-loose wants to merge 3 commits into
svcomp27/integrationfrom
perf/solver-encoding
Closed

Consistent bit-vector encoding of comparisons, string lengths and char codes#81
nils-loose wants to merge 3 commits into
svcomp27/integrationfrom
perf/solver-encoding

Encode NaN and signed zeros in FCMP and the compare/compareTo models

339a71c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar