Repository navigation

Search optimal circuits - #55

Closed

gabrielaczapska wants to merge 16 commits into

System-Verification-Lab:mainfrom

Luj8n:search-optimal-circuits

Closed

Search optimal circuits#55
gabrielaczapska wants to merge 16 commits into
System-Verification-Lab:mainfrom
Luj8n:search-optimal-circuits

Commits on Sep 27, 2026
- Setup a clean local development workflow (#1)
  Luj8n
  authored
  ca3862f
Commits on Sep 28, 2026
- Fix solver setup for macOS (#2)
  Luj8n
  authored
  53c85cd
Commits on Oct 2, 2026
- Add new rules in Pauli encoding
  gabrielaczapska
  committed
  a9bf926
Commits on Oct 3, 2026
- feat: more new rules to prune search space
  AsmitaJAJ
  committed
  d04b1d5
Commits on Oct 7, 2026
- error: corrected an error in newly added rules
  AsmitaJAJ
  committed
  d08117e
Commits on Oct 11, 2026
- feat: add initial synthesis benchmarks (#3)
  Luj8n
  authored
  ad24e09
Commits on Oct 13, 2026
- New rules (#4)
  
  gabrielaczapska
  and
  AsmitaJAJ
  authored
  3c53ce6
Commits on Oct 17, 2026
- Allow benchmarking random circuits & and aggregate the benchmark metrics (#5)
  Luj8n
  authored
  7ccc8e5
Commits on Oct 18, 2026
- try out optimal circuits
  AsmitaJAJ
  committed
  128fe20
Commits on Oct 19, 2026
- Included evaluation folder which tests random circuits on quokka-sharp (#6)
  narayanbarath-007
  authored
  5858606
- Add new optimal circuits
  gabrielaczapska
  committed
  124dec4
Commits on Oct 20, 2026
- Corrections
  gabrielaczapska
  committed
  1c43042
- Add pruning benchmarks
  gabrielaczapska
  committed
  9c52324
- Align with origin
  gabrielaczapska
  committed
  b393c86
- Add pruning comparison
  gabrielaczapska
  committed
  a4045a8
- Quick fix
  gabrielaczapska
  committed
  602034b