Repository navigation

Barath/evaluation random circuits - #54

Closed

narayanbarath-007 wants to merge 6 commits into

System-Verification-Lab:mainfrom

Luj8n:barath/evaluation-random-circuits

Closed

Barath/evaluation random circuits#54
narayanbarath-007 wants to merge 6 commits into
System-Verification-Lab:mainfrom
Luj8n:barath/evaluation-random-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 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
- Included evaluation folder which tests random circuits on quokka-sharp
  narayanbarath-007
  committed
  bb5503e