Repository navigation

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

Commits on Oct 18, 2026
- Build comparison results and Integer-to-bit-vector conversions over bit-vectors
  
  nils-loose
  and
  claude
  committed
  22dce63
- Solve comparisons over int_to_bv of string lengths and char codes over the Integers
  
  nils-loose
  and
  claude
  committed
  634d6f7
- Encode NaN and signed zeros in FCMP and the compare/compareTo models
  
  nils-loose
  and
  claude
  committed
  339a71c