Repository navigation

Bugs found by batch 2 of the test programs, on every engine - #17

Merged

YoanSallami merged 19 commits into

feat/v2-assertionsfrom

test/more-programs-2

Oct 7, 2026

Commits on Oct 5, 2026
- fix: bugs found by batch 2 of the test programs, on every engine
  
  authored and
  Yoan
  committed
  f1dbb95
- fix: bugs found by batch 3 of the test programs
  
  synalinks-saas
  and
  claude
  committed
  66043d1
- fix: bugs found by batches 4 to 6 of the test programs
  
  synalinks-saas
  and
  claude
  committed
  34e64c4
- fix: bugs found by batches 6 and 7, knowledge-graph programs and assertions
  
  synalinks-saas
  and
  claude
  committed
  388ab50
- feat: warn on contradictory rules; ground reused predicates on Presto/Trino; batch 8
  
  synalinks-saas
  and
  claude
  committed
  65693f1
- fix: bugs found by program batches 9-19; assertion language tests
  
  synalinks-saas
  and
  claude
  committed
  da6fe46
- fix: Today and Now in UTC everywhere; a combine as an argument; batches 18-19
  
  synalinks-saas
  and
  claude
  committed
  fee04c6
- test: modules and pipelines programs (batches 20-21)
  
  synalinks-saas
  and
  claude
  committed
  d3d2c48
- fix: SQL injection hardening, one number text everywhere, safe assertion reports
  
  synalinks-saas
  and
  claude
  committed
  fe43793
Commits on Oct 6, 2026
- fix: fourteen more batches of programs, and what they found
  
  synalinks-saas
  and
  claude
  committed
  61928b7
Commits on Oct 7, 2026
- fix: thirteen more batches of programs, what they found, and the docs they missed
  
  synalinks-saas
  and
  claude
  committed
  001412c
- ci: run the end-to-end tests in one job per engine
  
  synalinks-saas
  and
  claude
  committed
  89c6c31
- fix(types): type inference converges when a null meets a typed value
  
  synalinks-saas
  and
  claude
  committed
  9a43692
- perf: compile five times faster
  
  synalinks-saas
  and
  claude
  committed
  c27d737
- perf: fewer copies in functors, the type graph and variable elimination
  
  synalinks-saas
  and
  claude
  committed
  890cf60
- fix(sqlite): a number's text nests less, for SQLite before 3.46
  
  synalinks-saas
  and
  claude
  committed
  eb42b11
- fix: a number's text rounded exactly, the same on every engine
  
  synalinks-saas
  and
  claude
  committed
  f14b8b8
- fix(sqlite): float literals every SQLite reads as the same double
  
  synalinks-saas
  and
  claude
  committed
  9d28022
- perf: a recursion step alternates two tables instead of copying one
  
  synalinks-saas
  and
  claude
  committed
  291a973

Navigation Menu

Repository navigation

Bugs found by batch 2 of the test programs, on every engine - #17

Bugs found by batch 2 of the test programs, on every engine#17
YoanSallami merged 19 commits into
feat/v2-assertionsfrom
test/more-programs-2

Commits on Oct 5, 2026

fix: bugs found by batch 2 of the test programs, on every engine

fix: bugs found by batch 3 of the test programs

fix: bugs found by batches 4 to 6 of the test programs

fix: bugs found by batches 6 and 7, knowledge-graph programs and assertions

feat: warn on contradictory rules; ground reused predicates on Presto/Trino; batch 8

fix: bugs found by program batches 9-19; assertion language tests

fix: Today and Now in UTC everywhere; a combine as an argument; batches 18-19

test: modules and pipelines programs (batches 20-21)

fix: SQL injection hardening, one number text everywhere, safe assertion reports

Commits on Oct 6, 2026

fix: fourteen more batches of programs, and what they found

Commits on Oct 7, 2026

fix: thirteen more batches of programs, what they found, and the docs they missed

ci: run the end-to-end tests in one job per engine

fix(types): type inference converges when a null meets a typed value

perf: compile five times faster

perf: fewer copies in functors, the type graph and variable elimination

fix(sqlite): a number's text nests less, for SQLite before 3.46

fix: a number's text rounded exactly, the same on every engine

fix(sqlite): float literals every SQLite reads as the same double

perf: a recursion step alternates two tables instead of copying one