Search results

Compilation of coq-quantumlib.1.1.0 failed

Status: Open.

#62 In inQWIRE/SQIR;

· IsolatedMy opened on Mar 19, 2025

Broken link and small typo in README

Status: Open.

#55 In inQWIRE/SQIR;

· chenson2018 opened on Nov 16, 2023

Unify ExtractionGateSet and FullGateSet

enhancementNew feature or requestNew feature or request

Status: Open.

#45 In inQWIRE/SQIR;

· khieta opened on Jul 8, 2022

Abstract bidirectional map for layouts

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#44 In inQWIRE/SQIR;

· khieta opened on Jul 8, 2022

Move Shor proofs to a separate repository

documentationImprove organization or documentationImprove organization or documentation

Status: Open.

#43 In inQWIRE/SQIR;

· khieta opened on Jul 8, 2022

Add resource proof to examples/shor/Main.v

documentationImprove organization or documentationImprove organization or documentation

Status: Open.

#41 In inQWIRE/SQIR;

· khieta opened on Feb 4, 2022

Standardize gate_list properties

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#20 In inQWIRE/SQIR;

· khieta opened on Apr 29, 2021

Improve circuit mapping

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#19 In inQWIRE/SQIR;

· khieta opened on Apr 29, 2021

Edit ucom data type

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In inQWIRE/SQIR;

· khieta opened on Apr 29, 2021