Repository navigation

Property and metamorphic test suite (2/4, landing #24 on main) - #27

Merged

Autoplectic merged 5 commits into

mainfrom

sofic-correctness-2

Oct 7, 2026

Commits on Oct 7, 2026
- Property and metamorphic test suite; fixes it found
  
  Ryan James
  and
  cursoragent
  committed
  9e03ace
- Make the bidirectional joint-class choice independent of float round-off
  
  Ryan James
  and
  cursoragent
  committed
  02d8eef
- CI: test with the symbolic extra; keep one job without it
  
  Ryan James
  and
  cursoragent
  committed
  53325ed
- Merge pull request #24 from dit/sofic-property-tests
  Autoplectic
  authored
  80a9030
- CI: run push builds only on main and cancel superseded runs
  
  Ryan James
  and
  cursoragent
  committed
  2411169