Repository navigation

Support polynomial exponents and variable bases in the growth domain - #1220

Merged

GiggleLiu merged 9 commits into

mainfrom

feat/growth-polynomial-exponents

Oct 30, 2026

Merged

Support polynomial exponents and variable bases in the growth domain#1220
GiggleLiu merged 9 commits into
mainfrom
feat/growth-polynomial-exponents

Commits on Oct 27, 2026
- Support polynomial exponents and variable bases in the growth domain
  
  isPANN
  and
  claude
  committed
  25c4c7d
- Simplify the growth domain implementation
  
  isPANN
  and
  claude
  committed
  c0f403d
- Merge feat/binary-ilp-to-sat into feat/growth-polynomial-exponents
  
  isPANN
  and
  claude
  committed
  ee41b11
- Bound rational powers in exponent expansion instead of computing 2^i32::MAX
  
  isPANN
  and
  claude
  committed
  2dc824e
- Report whether a growth bound is exact, and make factorial exact by Stirling
  
  isPANN
  and
  claude
  committed
  2fdb8df
- Bound the magnitude of logarithms of decaying terms
  
  isPANN
  and
  claude
  committed
  0b41f6b
Commits on Oct 29, 2026
- Merge remote-tracking branch 'origin/main' into feat/growth-polynomial-exponents
  isPANN
  committed
  7348b7e
Commits on Oct 30, 2026
- Fix growth bounds for signed cancellation and certify exponent comparisons
  GiggleLiu
  committed
  2cd0d5a
- Merge remote-tracking branch 'origin/main' into HEAD
  GiggleLiu
  committed
  ef31e35