inQWIRE/SQIR issues and pull requests

#61 - Fixes for QuantumLib 1.6.0 and performance improvements

Pull Request - State: closed - Opened by wjbs 25 days ago

#60 - Error correction

Pull Request - State: closed - Opened by f64u 6 months ago

#59 - Update SQIR for QuantumLib >= 1.5.0, VOQC for >= 1.1.0

Pull Request - State: closed - Opened by wjbs 7 months ago

#58 - fixing build

Pull Request - State: closed - Opened by caldwellb 7 months ago

#57 - Emergency patch: Disallow building voqc with qlib 1.4.0 as it causes build to get stuck in loop

Pull Request - State: closed - Opened by adrianleh 11 months ago

#56 - #55: Fix broken link and typo in README

Pull Request - State: closed - Opened by timotheeMM about 1 year ago

#55 - Broken link and small typo in README

Issue - State: open - Opened by chenson2018 about 1 year ago - 1 comment

#54 - Update Coq version support

Pull Request - State: closed - Opened by caldwellb almost 2 years ago - 3 comments

#53 - main -> add-ci

Pull Request - State: closed - Opened by caldwellb almost 2 years ago

#52 - Moving build system to add-ci branch

Pull Request - State: closed - Opened by caldwellb almost 2 years ago

#51 - Various restructuring / build edits

Pull Request - State: closed - Opened by khieta almost 2 years ago

#50 - add coq-action.yml

Pull Request - State: closed - Opened by caldwellb almost 2 years ago - 2 comments

#49 - Add Bernstein-Vazirani proof

Pull Request - State: closed - Opened by epelaaez almost 2 years ago

#48 - Add uc_well_typed_CCZ and CCZ_is_H_CCX_H

Pull Request - State: closed - Opened by epelaaez almost 2 years ago

#47 - Fix Makefile ignoring SQIR and VOQC targets on macOS

Pull Request - State: closed - Opened by adrianleh almost 2 years ago - 1 comment

#46 - Add dune support

Pull Request - State: closed - Opened by caldwellb about 2 years ago

#45 - Unify ExtractionGateSet and FullGateSet

Issue - State: open - Opened by khieta over 2 years ago
Labels: enhancement

#44 - Abstract bidirectional map for layouts

Issue - State: open - Opened by khieta over 2 years ago
Labels: enhancement, good first issue

#43 - Move Shor proofs to a separate repository

Issue - State: open - Opened by khieta over 2 years ago - 4 comments
Labels: documentation

#42 - Mapping validation

Pull Request - State: closed - Opened by khieta over 2 years ago

#41 - Add resource proof to examples/shor/Main.v

Issue - State: open - Opened by khieta about 3 years ago
Labels: documentation

#40 - Merging shor updates into main branch

Pull Request - State: closed - Opened by khieta about 3 years ago

#39 - Fix parallel make, update README

Pull Request - State: closed - Opened by k4rtik about 3 years ago - 2 comments

#38 - Rcir plus merge to main

Pull Request - State: closed - Opened by liyili2 over 3 years ago - 1 comment

#26 - Arithmetic Testing!

Pull Request - State: closed - Opened by fvoichick over 3 years ago

#25 - updated Optimize1qGates

Pull Request - State: closed - Opened by khieta over 3 years ago

#24 - Add Wiesner's quantum money example

Pull Request - State: closed - Opened by adrianleh over 3 years ago

#23 - Merging in 'shor' branch

Pull Request - State: closed - Opened by khieta over 3 years ago

#22 - Fix warnings with Coq v8.13.x

Issue - State: closed - Opened by khieta almost 4 years ago - 5 comments

#21 - The reference Qreals.Q2R was not found in the current environment

Issue - State: closed - Opened by jasonlarkin almost 4 years ago - 4 comments

#20 - Standardize gate_list properties

Issue - State: open - Opened by khieta almost 4 years ago
Labels: enhancement, good first issue

#19 - Improve circuit mapping

Issue - State: open - Opened by khieta almost 4 years ago - 1 comment
Labels: enhancement, help wanted

#18 - Edit ucom data type

Issue - State: open - Opened by khieta almost 4 years ago
Labels: enhancement

#17 - Merging in the VOQC-journal branch

Pull Request - State: closed - Opened by khieta almost 4 years ago

#16 - finish shor proof

Pull Request - State: closed - Opened by taorunz about 4 years ago

#15 - added proofs of Legendre's theorem on continued fraction.

Pull Request - State: closed - Opened by PicksPeng over 4 years ago - 1 comment

#14 - Adding VOQC interoperabilty with Qiskit and Cirq

Pull Request - State: closed - Opened by akshajgaur over 4 years ago

#13 - shor_correct

Pull Request - State: closed - Opened by taorunz over 4 years ago

#12 - shor: rsum

Pull Request - State: closed - Opened by taorunz over 4 years ago

#11 - shor: r < N

Pull Request - State: closed - Opened by taorunz over 4 years ago

#10 - shor eigenstate

Pull Request - State: closed - Opened by taorunz over 4 years ago

#9 - Revert "Test"

Pull Request - State: closed - Opened by akshajgaur over 4 years ago

#8 - Test

Pull Request - State: closed - Opened by akshajgaur over 4 years ago

#7 - VOQC got stuck when optimizing circuits

Issue - State: closed - Opened by 1tnguyen over 4 years ago - 3 comments

#6 - Added interop for Cirq and Qiskit

Pull Request - State: closed - Opened by akshajgaur over 4 years ago

#5 - Fixed Rz gates, added printing gates in python, and qiskit transpiler pass

Pull Request - State: closed - Opened by akshajgaur over 4 years ago - 1 comment

#4 - Added python bindings

Pull Request - State: closed - Opened by akshajgaur over 4 years ago

#3 - Instruction inconsistancy

Issue - State: closed - Opened by henridb almost 5 years ago - 1 comment

#2 - Optimization

Issue - State: closed - Opened by monica1131 about 5 years ago - 1 comment

#1 - Build fails after QWIRE version update

Issue - State: closed - Opened by k4rtik over 5 years ago - 7 comments

GitHub / inQWIRE/SQIR issues and pull requests