Reject malformed inputs in the term parser by wegank · Pull Request #320 · algebraic-solving/msolve

wegank · 2026-03-23T22:31:09Z

Fixes #313.
Fixes #354.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

wegank force-pushed the term-parser-fix-1 branch 3 times, most recently from 8d53c29 to 8eeff33 Compare March 27, 2026 16:11

wegank mentioned this pull request Mar 27, 2026

Fix malformed inputs in test suite #328

Merged

wegank force-pushed the term-parser-fix-1 branch from 8eeff33 to ffdef17 Compare March 28, 2026 21:23

wegank force-pushed the term-parser-fix-1 branch 2 times, most recently from 814e543 to ab0260e Compare April 13, 2026 15:43

wegank force-pushed the term-parser-fix-1 branch 2 times, most recently from 17f95b7 to 20aeb99 Compare April 23, 2026 21:05

dcposch mentioned this pull request Aug 23, 2026

Fix CLI I/O: reject malformed input and stop labeling unlifted GBs as char 0 #356

Draft

wegank force-pushed the term-parser-fix-1 branch from 20aeb99 to 3438778 Compare September 8, 2026 20:49

Reject malformed inputs in the term parser

64e455a

wegank force-pushed the term-parser-fix-1 branch from 3438778 to 64e455a Compare September 30, 2026 23:17

Minor fixup following an LLM review

cad181d

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

wegank force-pushed the term-parser-fix-1 branch from f5c96bd to cad181d Compare October 1, 2026 00:46

wegank marked this pull request as ready for review October 1, 2026 01:07

Navigation Menu