Code

[WIP] Partial equivalence checking#487

Code

Closed

reb-ddm wants to merge 68 commits intocda-tum:maincda-tum/mqt-core:mainfrom reb-ddm:partial-equivalence-checkingreb-ddm/mqt-core:partial-equivalence-checkingCopy head branch name to clipboard

+151-14

Commits

Commits on Nov 1, 2023

• ✨ added function to shift the lines of a matrix

  reb-ddm

  committed
  481d039

  Copy full SHA for 481d039

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

  reb-ddm

  committed
  7dd727d

  Copy full SHA for 7dd727d

• extern changes

  reb-ddm

  committed
  8ca46a6

  Copy full SHA for 8ca46a6

Commits on Nov 4, 2023

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

  reb-ddm

  committed
  3c7f3d2

  Copy full SHA for 3c7f3d2

Commits on Nov 9, 2023

• 🚧 First draft of partial equivalence check function, it still contains bugs

  reb-ddm

  committed
  f233da2

  Copy full SHA for f233da2

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

  reb-ddm

  committed
  ac88851

  Copy full SHA for ac88851

• 🐛 increased number of qubits in the tests

  reb-ddm

  committed
  26253c0

  Copy full SHA for 26253c0

Commits on Nov 10, 2023

• 🎨 improve the structure and comments of the code

  reb-ddm

  committed
  b3698d6

  Copy full SHA for b3698d6

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

  reb-ddm

  committed
  74b8ba5

  Copy full SHA for 74b8ba5

Commits on Nov 15, 2023

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

  reb-ddm

  committed
  e590e81

  Copy full SHA for e590e81

Commits on Nov 21, 2023

• ✨ added partial equivalence function that swaps measured qubits to the end

  reb-ddm

  committed
  507e8cd

  Copy full SHA for 507e8cd

Commits on Nov 23, 2023

• ⚡ Added compute table for setRowsToZero and setColumnsToZero

  reb-ddm

  committed
  43f43b5

  Copy full SHA for 43f43b5

Commits on Nov 27, 2023

• ⚡ added alternative partial equivalence checker for circuits without ancilla qubits

  reb-ddm

  committed
  1f94d72

  Copy full SHA for 1f94d72

• 🔥 removed redundant tests

  reb-ddm

  committed
  dd144c6

  Copy full SHA for dd144c6

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

  reb-ddm

  committed
  f2d866b

  Copy full SHA for f2d866b

• 🔥 Removed unused include

  reb-ddm

  committed
  54009b2

  Copy full SHA for 54009b2

• 🔥 Removed debug print statement and fixed a few comments

  reb-ddm

  committed
  d3e886f

  Copy full SHA for d3e886f

• ⏪ revert unwanted submodule changes

  Show description for 4c45cbe
  burgholzer

  committed
  4c45cbe

  Copy full SHA for 4c45cbe

Commits on Nov 29, 2023

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

  reb-ddm

  committed
  bdd50a4

  Copy full SHA for bdd50a4

• ✨ Added optional flags to buildFunctionality

  reb-ddm

  committed
  27d781b

  Copy full SHA for 27d781b

Commits on Nov 30, 2023

• 🚨 ✅ improved lint and code coverage

  reb-ddm

  committed
  b780cb6

  Copy full SHA for b780cb6

Commits on Dec 6, 2023

• 🐛 Fixed bug in helper functions that gave a wrong result for non-normalized matrices

  reb-ddm

  committed
  d1b4db0

  Copy full SHA for d1b4db0

Commits on Dec 11, 2023

• 🐛⚡ Added two compute tables and fixed the elements added to the compute tables

  reb-ddm

  committed
  1ba5ed1

  Copy full SHA for 1ba5ed1

• ✅ added tests and benchmarks for partialEquivalenceCheck

  reb-ddm

  committed
  c10d450

  Copy full SHA for c10d450

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

  reb-ddm

  committed
  5c67802

  Copy full SHA for 5c67802

Commits on Dec 31, 2023

• 🚧 initial draft for generating random benchmarks

  reb-ddm

  committed
  345ef11

  Copy full SHA for 345ef11

Commits on Jan 4, 2024

• implemented PEC algorithm for inverse qubit order and modified tests accordingly

  reb-ddm

  committed
  400c13d

  Copy full SHA for 400c13d

• changes requested in pull request

  reb-ddm

  committed
  884bd4e

  Copy full SHA for 884bd4e

• implemented zeroAncilla PEC for new qubit order

  reb-ddm

  committed
  244872c

  Copy full SHA for 244872c

Commits on Jan 6, 2024

• add compute table for shiftAllRows

  reb-ddm

  committed
  2062f5b

  Copy full SHA for 2062f5b

• 🔇 remove debug cout

  reb-ddm

  committed
  ab22a2d

  Copy full SHA for ab22a2d

• ♻️ rename some tests and a compute table

  reb-ddm

  committed
  34bd850

  Copy full SHA for 34bd850

• 🧪 add failing test

  reb-ddm

  committed
  4d6bc7e

  Copy full SHA for 4d6bc7e

• 🐛 fixed swaps in PEC

  reb-ddm

  committed
  cf9d721

  Copy full SHA for cf9d721

• 🔀 Merge with main, but now mcx gates are not parsed anymore in qasm files

  reb-ddm

  committed
  7ca81b4

  Copy full SHA for 7ca81b4

Commits on Jan 8, 2024

• 🚧 first draft of random benchmark generation

  reb-ddm

  committed
  9b6f206

  Copy full SHA for 9b6f206

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

  reb-ddm

  committed
  10725bf

  Copy full SHA for 10725bf

• 🎨 more consistency with naming of ancilla/ancillae/ancillary qubits

  reb-ddm

  committed
  9088192

  Copy full SHA for 9088192

• 🚨 fix linter warnings

  reb-ddm

  committed
  b1b70f3

  Copy full SHA for b1b70f3

• 🔥 remove exception that was only there for debugging purposes

  reb-ddm

  committed
  29e2bf6

  Copy full SHA for 29e2bf6

• 🚨 make some variables const

  reb-ddm

  committed
  ca5ca9d

  Copy full SHA for ca5ca9d

Commits on Jan 10, 2024

• Merge branch 'partial-equivalence-checking' into random-benchmarks

  reb-ddm

  committed
  0ea0a74

  Copy full SHA for 0ea0a74

Commits on Jan 13, 2024

• 🐛 fixed bug in partialEquivalenceCheck for m=0

  reb-ddm

  committed
  24fa752

  Copy full SHA for 24fa752

• 🚧 almost finished implementation of random circuit generation for PEC

  reb-ddm

  committed
  8ce1564

  Copy full SHA for 8ce1564

Commits on Jan 16, 2024

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

  reb-ddm

  committed
  9ae6095

  Copy full SHA for 9ae6095

• ♻️ adapt code to use the new isCloseToIdentity function for zero ancilla eq. check

  reb-ddm

  committed
  098ee90

  Copy full SHA for 098ee90

• 🔀Merge branch 'partial-equivalence-checking' into random-benchmarks

  reb-ddm

  committed
  85e242d

  Copy full SHA for 85e242d

Commits on Jan 22, 2024

• 🐛 bug fix in circuit generation

  reb-ddm

  committed
  c9ce87a

  Copy full SHA for c9ce87a

Commits on Jan 24, 2024

• add some pre-generated circuits

  reb-ddm

  committed
  dc81bd6

  Copy full SHA for dc81bd6

Commits on Jan 29, 2024

• 🎨 clean up code

  reb-ddm

  committed
  90cbadd

  Copy full SHA for 90cbadd

• 🐛 fix printed message

  reb-ddm

  committed
  37b5f69

  Copy full SHA for 37b5f69

• 🚚 move verification file to algorithms/

  reb-ddm

  committed
  72b9b2b

  Copy full SHA for 72b9b2b

• Merge pull request #1 from reb-ddm/random-benchmarks

  Show description for 6926e4e
  reb-ddm

  authored
  6926e4e

  Copy full SHA for 6926e4e

Commits on Jan 31, 2024

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

  reb-ddm

  committed
  4e9bfde

  Copy full SHA for 4e9bfde

Commits on Feb 1, 2024

• 🚨 made everything const

  reb-ddm

  committed
  ccd0954

  Copy full SHA for ccd0954

• ✅ added test for invalid argument

  reb-ddm

  committed
  7e2e9cc

  Copy full SHA for 7e2e9cc

• 🎨 changed some names of the tests

  reb-ddm

  committed
  d9d9922

  Copy full SHA for d9d9922

Commits on Feb 16, 2024

• 🎨 used qc::Qubit instead of dd::Qubit and used modern C++ random generators and some other requested changes

  reb-ddm

  committed
  dbaef3e

  Copy full SHA for dbaef3e

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

  reb-ddm

  committed
  d1a93f8

  Copy full SHA for d1a93f8

• 🚨 made everything const

  reb-ddm

  committed
  043923c

  Copy full SHA for 043923c

Commits on Feb 17, 2024

• 🎨 moved some functions from Package.hpp to Verification.hpp and removed unique_ptr from the dd parameter of functions and moved partial equivalence tests to dd/

  reb-ddm

  committed
  ad315c0

  Copy full SHA for ad315c0

Commits on Feb 19, 2024

• 🔥 removed zeroAncillaPEC and modified corresponding tests

  reb-ddm

  committed
  646a044

  Copy full SHA for 646a044

Commits on Feb 21, 2024

• 🔥 remove redundant cast

  reb-ddm

  committed
  a562092

  Copy full SHA for a562092

• 🔥 removed all partialEquivalence functions, s.t. they can be moved to MQT-QCEC

  reb-ddm

  committed
  29144ea

  Copy full SHA for 29144ea

• 🔥 removed redundant includes

  reb-ddm

  committed
  8a070c2

  Copy full SHA for 8a070c2

• ✅ added tests for adding multiple ancillaries and garbage

  reb-ddm

  committed
  c0f5431

  Copy full SHA for c0f5431

Commits on Feb 27, 2024

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

  reb-ddm

  committed
  38f4b46

  Copy full SHA for 38f4b46

Commits on Mar 15, 2024

• 🔥 removed functions for shifting rows

  reb-ddm

  committed
  72e1e7c

  Copy full SHA for 72e1e7c