Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / inqwire/qwire issues and pull requests

#12 - Update README.md

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

#12 - Update README.md

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

#11 - Switch to using QuantumLib

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

#10 - Integrate Shor's quantum part into QWIRE.

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

#9 - fixed errors for 8.14 & warnings for 8.13; broke things for <8.12

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

#8 - Fix a bug in QASM.v

Pull Request - State: open - Opened by thwfhk almost 4 years ago

#7 - Fix dead links in README

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

#6 - Fix Matrix.v for coq-8.11.0

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

#5 - Can't build Matrix.v in coq-8.11.0

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

#4 - Use coq_makefile for build

Pull Request - State: closed - Opened by k4rtik over 5 years ago

#3 - Fix broken build on master and ignore lia cache

Pull Request - State: closed - Opened by k4rtik over 5 years ago - 1 comment

#2 - Create LICENSE

Pull Request - State: closed - Opened by jpaykin over 6 years ago

#1 - Can't build as Monoid.v is missing

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