Code

✨ Partial equivalence checking#375

Code

Merged

burgholzer merged 42 commits intocda-tum:maincda-tum/mqt-qcec:mainfrom reb-ddm:partial-equivalence-checkingreb-ddm/mqt-qcec:partial-equivalence-checkingCopy head branch name to clipboardMar 18, 2024

+10,941-44

Commits

Commits on Feb 25, 2024

• ⬆️ checkout mqt-core to partial-equivalence-checking branch

  reb-ddm

  committed
  cbd338f

• ✅ add circuits for testing

  reb-ddm

  committed
  3dfcf6c

• ✨ added functions and tests for partial equivalence checking

  reb-ddm

  committed
  3dff378

• 🚩 added partial equivalence flag

  reb-ddm

  committed
  512f95f

• ✨ add PartiallyEquivalent equivalence criterion

  reb-ddm

  committed
  cf0f34b

• 🐛 add check_partial_equivalence to json

  reb-ddm

  committed
  98f30e0

Commits on Feb 27, 2024

• 🔥 remove PartiallyEquivalent equivalence criterion

  reb-ddm

  committed
  d6fe842

• ✨ implemented partial equivalence for the alternating checker

  reb-ddm

  committed
  2214232

• ✨ implemented partial equivalence checking for the construction checker

  reb-ddm

  committed
  372c914

• 🔥 removed unused functions in DDPartialEquivalence.hpp

  reb-ddm

  committed
  2001891

Commits on Feb 28, 2024

• 🚩 add flags for moving data and measured qubits to the front

  reb-ddm

  committed
  3fcc10d

Commits on Mar 6, 2024

• ✨ implemented moving measured qubits to front

  reb-ddm

  committed
  c9de553

Commits on Mar 7, 2024

• ✅ fix python tests

  reb-ddm

  committed
  8b20aed

• ✅ fix python tests

  reb-ddm

  committed
  a4aba7e

Commits on Mar 11, 2024

• 📝 started to write documentation for partial equivalence checking

  reb-ddm

  committed
  9d6e2bc

Commits on Mar 13, 2024

• ⬆️ upgrade mqt-core

  reb-ddm

  committed
  b7b2f94

• 🐛 fix bug in benchmark generation

  reb-ddm

  committed
  dc5037a

• reduce garbage only for partial equivalence checking

  reb-ddm

  committed
  d5aebd5

• reduce garbage only for partial equivalence checking in alternating checker

  reb-ddm

  committed
  fb07a5b

• reduce garbage only for partial equivalence checking in alternating checker

  reb-ddm

  committed
  207a6f0

• ✅ updated tests for partial equivalence

  reb-ddm

  committed
  3e251de

Commits on Mar 15, 2024

• 🔥 remove flags for bringing data and ancillary qubits to front

  reb-ddm

  committed
  1959bc0

• 🔥 remove functions for partial equivalence checking

  reb-ddm

  committed
  9d326ef

• 🎨 clean up code and tests

  reb-ddm

  committed
  b2fa497

• 📌 changed mqt-core version

  reb-ddm

  committed
  4552351

• 🔀 Merge branch 'main' into partial-equivalence-checking

  reb-ddm

  committed
  71f2d41

• ✅ added some tests

  reb-ddm

  committed
  5cea15e

Commits on Mar 16, 2024

• 📝 updated documentation of partial equivalence checking

  reb-ddm

  committed
  b67472a

Commits on Mar 17, 2024

• ✅ fixed failing test

  reb-ddm

  committed
  71343db

• print warning when there are garbage qubits, but equivalence checking is turned off

  reb-ddm

  committed
  c4453d8

• 📝 update description of python bindings

  reb-ddm

  committed
  29fe36d

• 🎨 rename generateRandomBenchmarks function

  reb-ddm

  committed
  33ea4d0

Commits on Mar 18, 2024

• 🚨 unnecessary whitespace change

  Show description for 004f837
  burgholzer

  committed
  004f837

• 🎨 use ternary-if

  Show description for fc3cd03
  burgholzer

  committed
  fc3cd03

• ⬆️ update mqt-core

  Show description for d138175
  burgholzer

  committed
  d138175

• ✏️ revise error message

  Show description for 4995eaa
  burgholzer

  committed
  4995eaa

• 🚚 move benchmarking code to test file

  Show description for 072ddc5
  burgholzer

  committed
  072ddc5

• 🎨 small revisions to tests

  Show description for b62dc16
  burgholzer

  committed
  b62dc16

• 📝 update documentation

  Show description for 636cfd3
  burgholzer

  committed
  636cfd3

• 🩹 link new documentation

  Show description for 21368a5
  burgholzer

  committed
  21368a5

• 🔀 switch back to main branch of mqt-core

  Show description for 645cffd
  burgholzer

  committed
  645cffd

• ✏️ fix whitespace inconsistency

  Show description for faf7d2e
  burgholzer

  committed
  faf7d2e