Skip to content

Reject malformed inputs in the term parser - #320

Open
wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:term-parser-fix-1
Open

Reject malformed inputs in the term parser#320
wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:term-parser-fix-1

Minor fixup following an LLM review

e487d03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
FLINT git version, compiled with assert and NTL
succeeded Oct 11, 2026 in 10m 27s