Repository navigation

T-Cost-Dimension: fail closed symbolic cost analysis - #1003

Merged

briansrls merged 45 commits into

mainfrom

session/neat-seal-106

Apr 28, 2026

Merged

T-Cost-Dimension: fail closed symbolic cost analysis#1003
briansrls merged 45 commits into
mainfrom
session/neat-seal-106

Commits on Apr 27, 2026
- WIP: neat-seal-106
  briansrls
  committed
  8510575
- WIP: neat-seal-106
  briansrls
  committed
  90fc3dd
- chore: apply cargo fmt
  briansrls
  committed
  5dd96b3
- WIP: neat-seal-106
  briansrls
  committed
  d8f43c4
- chore: apply cargo fmt
  briansrls
  committed
  2fb7dd1
- fix(v3): use public DimensionReport import in integration tests
  briansrls
  committed
  416f524
- fix(v3): regen bootstrap snapshots for DimensionReport sum
  briansrls
  committed
  d5935d5
- test(v3): pin composite dominates over NSL first/second/rest
  briansrls
  committed
  e045923
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  03a731e
- chore: apply cargo fmt
  briansrls
  committed
  a194cb1
- WIP: neat-seal-106
  briansrls
  committed
  2ddfc90
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  eefc700
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  7744908
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  818253d
- WIP: neat-seal-106
  briansrls
  committed
  0857c1d
- WIP: neat-seal-106
  briansrls
  committed
  714c1f8
- WIP: neat-seal-106
  briansrls
  committed
  851675c
- WIP: neat-seal-106
  briansrls
  committed
  e4635f2
- WIP: neat-seal-106
  briansrls
  committed
  0744e6a
- WIP: neat-seal-106
  briansrls
  committed
  712e20f
- WIP: neat-seal-106
  briansrls
  committed
  21663f7
- WIP: neat-seal-106
  briansrls
  committed
  2520b5d
- WIP: neat-seal-106
  briansrls
  committed
  c821c0a
- WIP: neat-seal-106
  briansrls
  committed
  4f89780
- WIP: neat-seal-106
  briansrls
  committed
  dee1b23
- WIP: neat-seal-106
  briansrls
  committed
  19bdd50
- WIP: neat-seal-106
  briansrls
  committed
  69b419e
- WIP: neat-seal-106
  briansrls
  committed
  a2933d7
- WIP: neat-seal-106
  briansrls
  committed
  b1ef0b7
- WIP: neat-seal-106
  briansrls
  committed
  383e928
- WIP: neat-seal-106
  briansrls
  committed
  56346b5
- WIP: neat-seal-106
  briansrls
  committed
  c93df7c
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  d95b3df
- WIP: neat-seal-106
  briansrls
  committed
  32b81ef
- WIP: neat-seal-106
  briansrls
  committed
  5f2713e
- WIP: neat-seal-106
  briansrls
  committed
  a46fb82
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  4d63581
- Merge remote-tracking branch 'origin/main' into session/neat-seal-106
  briansrls
  committed
  25138ca
Commits on Apr 28, 2026

Commits

Commits on Apr 27, 2026

Commits on Apr 28, 2026