Code

Enhance proportionality#47

Code

Open

wjbs wants to merge 13 commits intomaininQWIRE/VyZX:mainfrom feature-prop-constantinQWIRE/VyZX:feature-prop-constantCopy head branch name to clipboard

+2,727-1,627

Commits

Commits on Oct 1, 2024

• Add basic example of proportionality with explicit constants.

  wjbs

  committed
  c9aae65

  Copy full SHA for c9aae65

Commits on Oct 2, 2024

• Update the development to use explicit constants. Some proofs are Admitted as they are proven with alternate methods in feature-permutations

  wjbs

  committed
  169c41e

  Copy full SHA for 169c41e

Commits on Jan 6, 2025

• Begin to implement Soundness

  wjbs

  committed
  b4ece8b

  Copy full SHA for b4ece8b

Commits on Jan 10, 2025

• Finish proving soundness, including decidability of proportionality.

  wjbs

  committed
  77c1c2c

  Copy full SHA for 77c1c2c

Commits on Jan 16, 2025

• Final cleanups for merge

  wjbs

  committed
  635a88e

  Copy full SHA for 635a88e

Commits on Jan 19, 2025

• Fix versioning Admitteds and replace diagrammatic proof

  wjbs

  committed
  1e8fd02

  Copy full SHA for 1e8fd02

Commits on Jan 21, 2025

• Bump QuantumLib, SQIR, and VOQC version requirements

  wjbs

  committed
  e3bc141

  Copy full SHA for e3bc141

• Fixes for 8.16

  wjbs

  committed
  d23b369

  Copy full SHA for d23b369

• Fix hint locality for 8.17

  wjbs

  committed
  380837c

  Copy full SHA for 380837c

• Fix another hint locality for 8.17

  wjbs

  committed
  08b68b6

  Copy full SHA for 08b68b6

Commits on Jan 23, 2025

• Add documentation to Ltac tactics and Tactic Notations

  wjbs

  committed
  9952fa6

  Copy full SHA for 9952fa6

Commits on Jan 24, 2025

• Fix issues with removed tactics

  wjbs

  committed
  358136d

  Copy full SHA for 358136d

• Revert stack_nwire_distribute_r proof to be diagrammatic

  wjbs

  committed
  faf97c6

  Copy full SHA for faf97c6