Repository navigation

Model number-to-string conversions with a radix, fix toBinaryString divergence - #76

Closed

nils-loose wants to merge 6 commits into

feat/bitop-modelsfrom

feat/number-to-string-models

Closed

Model number-to-string conversions with a radix, fix toBinaryString divergence#76
nils-loose wants to merge 6 commits into
feat/bitop-modelsfrom
feat/number-to-string-models

Commits on Oct 18, 2026
- Add choice branches: executor-added branches that enumerate an operand's values
  
  nils-loose
  and
  claude
  committed
  ee59502
- Model Integer/Long toString and toUnsignedString with a radix
  
  nils-loose
  and
  claude
  committed
  4c79e69
- Fix the string of a negative long or short in concatenation
  
  nils-loose
  and
  claude
  committed
  3c8ea30
- Convert floats and doubles to their concrete string
  
  nils-loose
  and
  claude
  committed
  b701046
- Solve program branches before choice branches
  
  nils-loose
  and
  claude
  committed
  f4486e3
- Test the number-to-string models against the JDK
  
  nils-loose
  and
  claude
  committed
  2b6ba31