Code

Approximate equivalence checking#443

Code

Open

TeWas wants to merge 45 commits intocda-tum:maincda-tum/mqt-qcec:mainfrom TeWas:approximate-equivalence-checkingTeWas/mqt-qcec:approximate-equivalence-checkingCopy head branch name to clipboard

Commits

Commits on Aug 8, 2024

• Added mqt-core as submodule

  TeWas

  committed
  0a5651a

  Copy full SHA for 0a5651a

• Update submodule to latest version

  TeWas

  committed
  dde15d3

  Copy full SHA for dde15d3

• ✨ Approximate equivalence checking for construction checker

  TeWas

  committed
  3541a8e

  Copy full SHA for 3541a8e

• ✨ Approximate equivalence checking for alternating checker

  TeWas

  committed
  b3e5bf2

  Copy full SHA for b3e5bf2

Commits on Aug 12, 2024

• 🎨 Change threshold

  TeWas

  committed
  b2d44a5

  Copy full SHA for b2d44a5

• ✅ Add test files

  TeWas

  committed
  797af78

  Copy full SHA for 797af78

• ✅ Test circuits synthesized with BQSKit

  TeWas

  committed
  6e5e33d

  Copy full SHA for 6e5e33d

Commits on Aug 13, 2024

• ✅ Add tests

  TeWas

  committed
  b0731f7

  Copy full SHA for b0731f7

• Merge remote-tracking branch 'upstream/main'

  TeWas

  committed
  3179789

  Copy full SHA for 3179789

• Merge remote-tracking branch 'origin/main' into approximate-equivalence-checking

  TeWas

  committed
  8e92156

  Copy full SHA for 8e92156

• 📝 Add comments

  TeWas

  committed
  5e46334

  Copy full SHA for 5e46334

Commits on Aug 14, 2024

• 🚨 Fix warnings

  TeWas

  committed
  3c9f84f

  Copy full SHA for 3c9f84f

• 🚨 Fix warnings

  TeWas

  committed
  824e439

  Copy full SHA for 824e439

Commits on Oct 4, 2024

• ✨ Introduce HSF checker

  TeWas

  committed
  313053a

  Copy full SHA for 313053a

• Merge remote-tracking branch 'upstream/main'

  TeWas

  committed
  847559f

  Copy full SHA for 847559f

• 🔀 Merge CMakeLists changes

  TeWas

  committed
  46741c1

  Copy full SHA for 46741c1

• 🚨 Fix linking issues

  TeWas

  committed
  7ea9ff5

  Copy full SHA for 7ea9ff5

• 🚨 Fix warnings

  TeWas

  committed
  e1ca1e2

  Copy full SHA for e1ca1e2

Commits on Oct 5, 2024

• 🚨 Fix linter warnings: Include header directly

  TeWas

  committed
  30b4756

  Copy full SHA for 30b4756

• 🎨 Make input circuits const, keep measurements as they are skipped in simulateSlicing, reverse iterate through second circuit in simulateSlicing

  TeWas

  committed
  aa7fd5b

  Copy full SHA for aa7fd5b

• ✅ Fix test

  TeWas

  committed
  da1674a

  Copy full SHA for da1674a

• 🚨 Remove inline keyword and move header

  TeWas

  committed
  9052e16

  Copy full SHA for 9052e16

Commits on Oct 7, 2024

• 🎨 🧪 Add threshold check; make splitQubit class attribute; make getNDecisions const; add failing tests

  TeWas

  committed
  4596e86

  Copy full SHA for 4596e86

• 🚨 Include header

  TeWas

  committed
  4265cce

  Copy full SHA for 4265cce

Commits on Oct 9, 2024

• 🚸 Incorporate improved error messaging from ddsim

  TeWas

  committed
  2918b60

  Copy full SHA for 2918b60

• 🐛 Fix: Throw overflow error when circuit exceeds maximum number of decisions

  TeWas

  committed
  4d27272

  Copy full SHA for 4d27272

• 🚨 Fix linter warning

  TeWas

  committed
  7d2386a

  Copy full SHA for 7d2386a

• 📝 Add comments

  TeWas

  committed
  1e80d63

  Copy full SHA for 1e80d63

Commits on Oct 11, 2024

• ⚡ 🎨 Move inversion of qc2 to constructor and flatten operations

  Show description for 5670559
  TeWas

  committed
  5670559

  Copy full SHA for 5670559

• 🐛 Fix: Skip measure and barrier ops for inversion.

  TeWas

  committed
  6b9a709

  Copy full SHA for 6b9a709

Commits on Oct 12, 2024

• Merge remote-tracking branch 'upstream/main' into approximate-equivalence-checking

  TeWas

  committed
  a95acb4

  Copy full SHA for a95acb4

Commits on Oct 23, 2024

• Merge remote-tracking branch 'upstream/main' into approximate-equivalence-checking

  TeWas

  committed
  2dc38c4

  Copy full SHA for 2dc38c4

Commits on Oct 25, 2024

• ✨ Expose approximate equivalence checking to Python

  TeWas

  committed
  afa1cbc

  Copy full SHA for afa1cbc

Commits on Oct 26, 2024

• 🎨 Integrate HSF checker into equivalence checking flow

  TeWas

  committed
  1cc7249

  Copy full SHA for 1cc7249

• 🚨 Fix warnings

  TeWas

  committed
  1c57b66

  Copy full SHA for 1c57b66

• 🚨 ✅ Fix warnings & add HSF test in Python

  TeWas

  committed
  bfc2ba6

  Copy full SHA for bfc2ba6

Commits on Oct 27, 2024

• 🐛 ✅ Fix integration of HSF into equivalence checking flow

  TeWas

  committed
  668589e

  Copy full SHA for 668589e

• 📝 Update documentation

  TeWas

  committed
  380d0aa

  Copy full SHA for 380d0aa

• 🚚 Rename checker

  TeWas

  committed
  ccd62d8

  Copy full SHA for ccd62d8

• 🧪 Comment out failing test due to timeout issue with std::future

  TeWas

  committed
  9983e3e

  Copy full SHA for 9983e3e

• ✅ Restructure tests

  TeWas

  committed
  b206f62

  Copy full SHA for b206f62

Commits on Nov 10, 2024

• 🎨 ♻️ 🥅 Refactor HSF Checker Integration and Error Handling

  Show description for abfa52c
  TeWas

  committed
  abfa52c

  Copy full SHA for abfa52c

• 🚨 Fix linter warnings

  TeWas

  committed
  1c1baf0

  Copy full SHA for 1c1baf0

Commits on Nov 11, 2024

• 📝 Update documentation for HSF checker in the approximate equivalence checking setting

  TeWas

  committed
  b92d53e

  Copy full SHA for b92d53e

Commits on Feb 18, 2025

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

  burgholzer

  authored
  97b0da8

  Copy full SHA for 97b0da8