Repository navigation

Retry diverged branches; encode NaN in FCMPG/FCMPL - #74

Closed

nils-loose wants to merge 2 commits into

svcomp27/integrationfrom

feat/diverged-branch-retry

Closed

Retry diverged branches; encode NaN in FCMPG/FCMPL#74
nils-loose wants to merge 2 commits into
svcomp27/integrationfrom
feat/diverged-branch-retry

Commits on Oct 18, 2026
- Encode NaN and signed zeros in FCMPG/FCMPL
  
  nils-loose
  and
  claude
  committed
  45addc3
- Re-solve a branch whose solution's run does not reach it
  
  nils-loose
  and
  claude
  committed
  8f78f91