Add a mathematical constraint system#8816

Merged

kripken merged 45 commits into

WebAssembly:mainfrom

kripken:constraint.by.itself

Jun 17, 2026

Commits on Jun 8, 2026

go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
feedback
kripken
committed
feedback
kripken
committed
fix
kripken
committed
clean
kripken
committed
Merge remote-tracking branch 'myself/inplace' into constraint.by.itself
kripken
committed
clean
kripken
committed
clean
kripken
committed
const
kripken
committed
undo CFP change
kripken
committed
Merge branch 'inplace' into constraint.by.itself
kripken
committed
tidy
kripken
committed
add.assert
kripken
committed
fix.comment
kripken
committed
Merge remote-tracking branch 'origin/main' into constraint.by.itself
kripken
committed

Commits on Jun 9, 2026

value => term
kripken
committed

Commits on Jun 10, 2026

Commits on Jun 12, 2026