Repository navigation

feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving - #1096

Draft

olivier-aws wants to merge 9 commits into

main2from

Draft

feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving#1096
olivier-aws wants to merge 9 commits into
main2from
SSR_workflow

Commits on May 1, 2026
- feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving
  olivier-aws
  committed
  e54605c
- test: Add SSR workflow integration test for Python verification
  olivier-aws
  committed
  6e2f508
Commits on May 2, 2026
- Remove manifest and have reconcile only with SMT2 files
  olivier-aws
  committed
  390c07e
Commits on May 4, 2026
- Update in script
  olivier-aws
  committed
  59661dd
- docs: Update design doc to reflect manifest-free reconcile architecture
  keyboardDrummer-bot
  committed
  ebdc08a
Commits on May 8, 2026
- fix: Address PR review feedback for SSR workflow
  atomb
  committed
  84d3bdf
- Stop using deprecated function
  atomb
  committed
  0a5ee75
- Remove references to term "SSR"
  atomb
  committed
  bbf7035
- Rename SplitSolveReconcile -> SplitSolveAggregate
  atomb
  committed
  b6399ab