Skip to content

QUARC #42

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 122 commits into
base: main
Choose a base branch
from
Open

QUARC #42

wants to merge 122 commits into from

Conversation

@smml1996
Copy link
Collaborator

@smml1996 smml1996 commented Jan 23, 2023

QUARC is used to produce oracles. It creates an inner representation of quantum circuits in terms of X and CNOT gates.

smml1996 added 30 commits October 1, 2022 11:07
adds quarc to command line options
801cfbd
feat: adds main structure
d3c1ae1
feat: adds write function (template), fixes format
d869b06
refact: changes qubit struct for an enum
cdad252
feat: easy operators done
b6bb624
feat: more workflow
e880aa1
feat: bitvector not gate implemented
6a4dc06
feat: quarc does unrolling
84842d4
fix: process next node correctly
11d25b2
removes unused variables
3a81ae2
add dynamic quantum memory option to cmd
b700b68
feat: new unitaries
8843ba0
add barriers in bad and next before recursion starts
553db8c
adds reminder of swaps
f1fb22b
refact: changes data type of circuit stack
85edb77
refact: remove qubit struct
17ef2ff
feat: uncompute
23f70d1
refact: solves merge conflict
1389ddd
feat: Node::And
dbc82dc
fix: makes better use of qunatum dynamic memory in Node::And
315aeb1
refact: dynamic memory is a pool
a3dee13
feat: Node::Eq
3680c1a
refact: clippy suggestions
7caf4b2
refact: single match for read and write
c0d439e
feat: Node::Ite
1a14808
feat: Node::Add
4e5607c
feat: Node::Sub
bc257b0
feat: Node::Ult
097c2ed
feat: Node::Mul
1f9e58f
feat: Div and Rem
1b6ce4d
@smml1996 smml1996 reopened this Jan 23, 2023
smml1996 and others added 20 commits January 24, 2023 00:17
mstarzinger
mstarzinger approved these changes Feb 8, 2023
View reviewed changes
Copy link
Collaborator

@mstarzinger mstarzinger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. One main comment about the split of SMT solver implementations into separate files.

@smml1996 smml1996 requested a review from mstarzinger February 12, 2023 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mstarzinger mstarzinger Awaiting requested review from mstarzinger

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@smml1996 @mstarzinger