Repository navigation

BIRD: floating-point ratios and a joined-columns result check - #34

Merged

Parth-Vasave merged 5 commits into

mainfrom

bird-sql-correctness

Oct 14, 2026

Merged

BIRD: floating-point ratios and a joined-columns result check#34
Parth-Vasave merged 5 commits into
mainfrom
bird-sql-correctness

Commits on Oct 14, 2026
- Compute ratios in floating point
  Parth-Vasave
  committed
  0edddc7
- Drop the floating-point rule from the SQL prompt
  Parth-Vasave
  committed
  463e4e8
- Spell out how the model applies a definition's formula
  Parth-Vasave
  committed
  d060f4b
- Revert "Spell out how the model applies a definition's formula"
  Parth-Vasave
  committed
  a1b40d0
- Send answers that concatenate columns back for repair
  Parth-Vasave
  committed
  08544fa