This pull request merges in changes that have been made to the QWIRE repo. From my testing, QuantumLib and VyZX (the update-quantumlib branch) should compile (make all) with my edits for Coq versions 8.12.2, 8.13.2, and 8.14.0. Just let me know if you spot any issues.
This pull request merges in changes that have been made to the QWIRE repo. From my testing, QuantumLib and VyZX (the update-quantumlib branch) should compile (
make all) with my edits for Coq versions 8.12.2, 8.13.2, and 8.14.0. Just let me know if you spot any issues.