Add a mathematical constraint system#8816

Open

kripken wants to merge 37 commits into

WebAssembly:mainfrom

kripken:constraint.by.itself

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