Skip to content
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

QUARC #42

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

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.

src/main.rs Outdated Show resolved Hide resolved
src/unicorn/mod.rs Show resolved Hide resolved
src/unicorn/mod.rs Show resolved Hide resolved
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.

None yet
2 participants
@smml1996 @mstarzinger