Repository navigation

Add solver result interfaces - #123

Open

guanqin-123 wants to merge 12 commits into

SVF-tools:mainfrom

guanqin-123:TensorCE

Open

Add solver result interfaces#123
guanqin-123 wants to merge 12 commits into
SVF-tools:mainfrom
guanqin-123:TensorCE

Commits on Oct 26, 2026
- Add behavior-neutral solver result interfaces
  guanqin-123
  committed
  14f31de
- Normalize frontend finite-p input specifications
  guanqin-123
  committed
  9605645
- Add finite-p backend bounds and replay-safe dual optimization
  guanqin-123
  committed
  7271ebe
Commits on Oct 27, 2026
Commits on Oct 28, 2026
- Preserve conversion shapes and metadata through ACT roundtrips
  guanqin-123
  committed
  003019d
- code coverage is pushed to 80%
  guanqin-123
  committed
  c5643a4
- Complete shared instance verification and compact BERT queries
  guanqin-123
  committed
  8d9d128
- Constrain Transformers to the supported BERT API in CI
  guanqin-123
  committed
  51ab0c7
Commits on Oct 29, 2026
- Extend CLIMB with split-dependent refresh, core replay and frontier merge
  guanqin-123
  committed
  e2c88d3
- Add checked terminal LP lanes, terminal cores and optional exact MILP
  guanqin-123
  committed
  3a1bfb2