Skip to content

Barath/evaluation random circuits - #54

Closed
narayanbarath-007 wants to merge 6 commits into
System-Verification-Lab:mainfrom
Luj8n:barath/evaluation-random-circuits
Closed

narayanbarath-007 wants to merge 6 commits into
System-Verification-Lab:mainfrom
Luj8n:barath/evaluation-random-circuits

Conversation

@narayanbarath-007

Copy link
Copy Markdown

An evaluation folder with the configuration file has been added to test Quokka-sharp

Luj8n and others added 6 commits September 27, 2026 18:12
* chore: add local solver installer

* chore: setup uv dev workflow & enable synthesis tests

* chore: setup ruff and format everything

* chore: make pyright/pylance work

* chore: add @staticmethod and fix a typing

* chore: make sure test fails when solvers are missing

* chore: allow to run scripts from the root
* feat: add synthesis benchmarks

* fix: make tests work with mac

* feat: add the upstream version of quokka to the comparison

* feat: add support for running multiple engines at once

* feat: more benchmarks and code cleanup
* Add new rules in Pauli encoding

* feat: more new rules to prune search space

* error: corrected an error in newly added rules

* Address the review feedback

* Add a few new rules

* Fix suggested  bugs

---------

Co-authored-by: Asmita Joshi <117025497+AsmitaJAJ@users.noreply.github.com>
…ics (#5)

* feat: run random circuits & aggregate the metrics

* fix: simplify benchmark summary

* feat: only keep summary.json
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants