QUARC#42

Open

smml1996 wants to merge 122 commits into

mainfrom

opt-quarc-paper

Commits on Oct 1, 2022

adds quarc to command line options
smml1996
committed
feat: adds main structure
smml1996
committed
feat: adds write function (template), fixes format
smml1996
committed
refact: changes qubit struct for an enum
smml1996
committed
feat: easy operators done
smml1996
committed
feat: more workflow
smml1996
committed
feat: bitvector not gate implemented
smml1996
committed
feat: quarc does unrolling
smml1996
committed
fix: process next node correctly
smml1996
committed

Commits on Oct 3, 2022

removes unused variables
smml1996
committed
add dynamic quantum memory option to cmd
smml1996
committed
feat: new unitaries
smml1996
committed
add barriers in bad and next before recursion starts
smml1996
committed
adds reminder of swaps
smml1996
committed
refact: changes data type of circuit stack
smml1996
committed
refact: remove qubit struct
smml1996
committed

Commits on Oct 4, 2022

feat: uncompute
smml1996
committed
refact: solves merge conflict
smml1996
committed

Commits on Oct 7, 2022

feat: Node::And
smml1996
committed
fix: makes better use of qunatum dynamic memory in Node::And
smml1996
committed
refact: dynamic memory is a pool
smml1996
committed
feat: Node::Eq
smml1996
committed
refact: clippy suggestions
smml1996
committed
refact: single match for read and write
smml1996
committed
feat: Node::Ite
smml1996
committed

Commits on Oct 8, 2022

Commits on Oct 9, 2022

feat: builds oracle output
smml1996
committed
refact: clippy + fmt
smml1996
committed
fix: bug in and
smml1996
committed
refact: adds some checks
smml1996
committed

Commits on Oct 11, 2022

test quarc
smml1996
committed
refact: fmt
smml1996
committed

Commits on Oct 13, 2022

debug: wrote tests
smml1996
committed
adds test files
smml1996
committed

Commits on Oct 15, 2022

feat: input checker for quarc
smml1996
committed

Commits on Oct 16, 2022

feat: print stats when building q. circuit
smml1996
committed
refact: clippy suggestions
smml1996
committed

Commits on Oct 22, 2022

fix: bug in init
smml1996
committed

Commits on Oct 23, 2022

refactor: cargo fmt
smml1996
committed
refactor: update test files for quarc
smml1996
committed
fix: bugs and tests
smml1996
committed
fix: adjusts call to evaluate input
smml1996
committed
refactor: update div, mul and rem debug files
smml1996
committed
refactor: removes test file
smml1996
committed
debug: round1 tests succeed
smml1996
committed

Commits on Oct 25, 2022

refactor: clippy
smml1996
committed
refactor: clippy suggestions
smml1996
committed
debug: corrected logic
smml1996
committed
refactor: replace assert!(false)
smml1996
committed

Commits on Oct 26, 2022

refactor: clean up code
smml1996
committed

Commits on Oct 29, 2022

refactor: changes folder name test files and adds new test files
smml1996
committed
refactor: removes old files
smml1996
committed

Commits on Nov 2, 2022

update files
smml1996
committed
debug: setup of experiments (this will fail, need to figure out constant propagation until first input)
smml1996
committed
refactor: some files deleted
smml1996
committed
refactor: update cargo file
smml1996
committed

Commits on Nov 9, 2022

fix bug in get last state
smml1996
committed

Commits on Nov 13, 2022

debug
smml1996
committed
qubot in main workflow
smml1996
committed
feat: optimized ancilla usage in multiply
smml1996
committed
refactor: cargo fmt
smml1996
committed
refact: remove printlns
smml1996
committed
refact: more efficieny in btor2 and operator
smml1996
committed

Commits on Nov 19, 2022

feat: optimize eq
smml1996
committed
Merge branch 'feat-quarc' of https://github.com/cksystemsgroup/unicorn into feat-quarc
smml1996
committed

Commits on Jan 5, 2023

paper checkpoint
smml1996
committed
paper checkpoint
smml1996
committed

Commits on Jan 10, 2023

refact: change imports (api prep)
smml1996
committed
refact: move z3solver_impl to its own file
smml1996
committed
debug: opt any
smml1996
committed
refactor: add feature z3 flag
smml1996
committed

Commits on Jan 11, 2023

make quarc::get_constant public
smml1996
committed

Commits on Jan 21, 2023

refactor: moves boolecotr_impl to its own file
smml1996
committed
fix: import boolector_impl in main
smml1996
committed
refact: moves input evaluator tool for quarc outside class
smml1996
committed
refactor, import evaluate_input
smml1996
committed
feat: adds get_qubit_dependency
smml1996
committed
refact: change get_qubit_dep return type
smml1996
committed
feat: get_dep_data
smml1996
committed
refact: type in function name
smml1996
committed
feat: new functions added for quarc api
smml1996
committed
refact: quarc api functions
smml1996
committed

Commits on Jan 22, 2023

unicorn api
smml1996
committed
refact: README
smml1996
committed
refact: readme
smml1996
committed
refact: readme
smml1996
committed
adds example to readme file
smml1996
committed
feat: example with qir
smml1996
committed
refact: remove print
smml1996
committed

Commits on Jan 23, 2023

refactor: changes a file name
smml1996
committed
chore: solves merge conflicts
smml1996
committed
refactor: removes copied directory
smml1996
committed
chore: remove file
smml1996
committed
Merge branch 'main' into opt-quarc-paper
smml1996
authored
fix: imports
smml1996
committed
fix imports
smml1996
committed
refactor: cargo fmt
smml1996
committed

Commits on Jan 24, 2023

fix imports
smml1996
committed
refactor: cargo fmt
smml1996
committed
refactor: removes boolector_impl from sat_solver.rs and fix imports
smml1996
committed
Merge branch 'main' into opt-quarc-paper
smml1996
authored
refactor: fix smt solvers after merge with main
smml1996
committed
refactor: cargo fmt
smml1996
committed
fix: imports sat solver
smml1996
committed
fix: conditional import sat solvers and return type in main
smml1996
committed
refactor: clippy suggestions
smml1996
committed

Commits on Jan 25, 2023

removes panic in has_depth_in_name
smml1996
committed

Commits on Jan 26, 2023

fix: removes uncomputation in OR of bad states
smml1996
committed
fix: define ccx gates
smml1996
committed

Commits on Feb 1, 2023

Update README.md
smml1996
authored

Commits on Feb 12, 2023

Commits on Feb 17, 2023

Commits on Feb 21, 2023

Merge branch 'main' into opt-quarc-paper
smml1996
authored

Commits on Mar 5, 2023

debug: fix imports
smml1996
committed