Replace Polynomial overhead system with Expr AST#99

Merged

isPANN merged 15 commits intomainfrom

feat/expr-overhead-system

Feb 26, 2026

Commits on Feb 25, 2026

docs: add overhead system redesign design (issue #61)

GiggleLiu
and
claude
committed
docs: add overhead system implementation plan (14 tasks, 6 phases)

GiggleLiu
and
claude
committed
feat: add Expr AST type with eval (phase 1 of overhead redesign)

GiggleLiu
and
claude
committed
feat: add variables, substitute, Display to Expr

GiggleLiu
and
claude
committed
feat: add Pratt expression parser to proc macro crate

GiggleLiu
and
claude
committed
feat: switch ReductionOverhead from Polynomial to Expr, support new overhead syntax

GiggleLiu
and
claude
committed
feat: add inherent size getters to all problem types

GiggleLiu
and
claude
committed
feat: migrate all reductions to new overhead expression syntax

GiggleLiu
and
claude
committed
refactor: remove problem_size_names/values from Problem trait

GiggleLiu
and
claude
committed
refactor: remove Polynomial type and poly! macro

GiggleLiu
and
claude
committed
docs: update exports and documentation for new overhead system

GiggleLiu
and
claude
committed
fix: update MCP server and CLI for Vec<&str> size_field_names return type

GiggleLiu
and
claude
committed

Commits on Feb 26, 2026