Search results

Reproducible memout + nondeterminism

Status: Open.

#47 In System-Verification-Lab/Quokka-Sharp;

· trinhdu97 opened on Jan 30, 2026

Partial equivalence checking

Status: Open.

#43 In System-Verification-Lab/Quokka-Sharp;

· JingyiMei98 opened on Jul 18, 2025

Quokka improvements

Status: Open.

#39 In System-Verification-Lab/Quokka-Sharp;

· JingyiMei98 opened on Jan 23, 2025

Direct Encoding of Toffli gate or decomposed in Clifford+T?

Status: Open.

#37 In System-Verification-Lab/Quokka-Sharp;

· JingyiMei98 opened on Jun 21, 2024

Derive short Boolean formula for Toffoli

prio:low

Status: Open.

#30 In System-Verification-Lab/Quokka-Sharp;

· timcp opened on Mar 7, 2024

Operation merging with Sympy

Status: Open.

#27 In System-Verification-Lab/Quokka-Sharp;

· alaarman opened on Feb 23, 2024