Code

Feat/stabilizer tableaux#74

Code

Merged

chinyi0523 merged 62 commits intodevelopDVLab-NTU/qsyn:developfrom feat/stabilizer_tableauxDVLab-NTU/qsyn:feat/stabilizer_tableauxCopy head branch name to clipboardMar 3, 2024

+3,888-484

Commits

Commits on Feb 29, 2024

• feat: add qcir ph cmdline

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  a1a716b

• ❓ Unknown commandgit add . (phase_polynomial)

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  f94e154

• 🤾‍♂️🚗 Command Conflict!

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  27166cf

• 🔨 PP command is callable.

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  e2626c9

• 🔨 refine PP cmd

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  ddb8dd7

• 🌹 Make lint

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  7a40e2b

• ↩️ Redefine data struction of wires and phase poly

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  4c2c031

• ✨ Can parse cnot + t circuit, but need more test.

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  317e01d

• 🔨 Fix bug of insert phase

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  b4490b1

• ➕ Add print function and some test cases

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  1dd2e0d

• ␡ Add BooleanMatrix::erase_row()

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  e4c9e20

• ➖ Remove monomials that phase = 0

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  6badd13

• 💐 make lint

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  ed906b3

• 🙉 Let path variable +1 for every h gate now

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  6b10df9

• 📊 Add some cout and test case

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  b7097d2

• 🏠 Build basic partitioning structure

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  74cf124

• 🔨 Fix gaussian_elimination_skip bug

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  9498630

• 🔨 Fix greedy_partitioning_routine bug

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  98fc9a6

• 💄 lint

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  a38d391

• 🔧 Rewrite greedy partition routine

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  97c0c99

• 🤖 Gaussian resynthesis need more check

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  dbaf9e3

• 👨‍🎨 Add result into cir.mgr and draw it

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  fe3f48f

• ➕ Extend size of h map to total variable number

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  b944287

• Extend h map and complete partitions

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  858ef5d

• ❌ Gaussian_elimination_skip return incorrect operations

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  dbb13da

• 🔨 Remove -1 of clear_all_1s_in_column

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  05766da

• 📊 Pass simple H test case

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  68d013b

• 🐞 Add print_phase_poly and count_t_depth

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  ff2b01f

• 📊 Build some demo qasm and annotation command pp count_t_depth

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  3581a6c

• 🈶 cmd added

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  df6aefa

• 🈶 add print subcommand

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  f27edb5

• 🏞️ Build demo picture

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  21528f7

• 🐛 fix calculate_t_depth

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  a311025

• Add more testcase

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  d729443

• mv demo

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  0b2ed7a

• lint

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  ea091f5

• Fix the bug that complete_the_partition make the rank decrease

  

  arttr1521

  authored and

  JoshuaLau0220

  committed
  7255aa4

• 🉐 DEMO version

  

  jimmy312495

  authored and

  JoshuaLau0220

  committed
  5c9e065

• 🔀 Merged devt to feat/stabilizer_tableaux

  JoshuaLau0220

  committed
  93fe5bf

• ✨ TableauMgr and basic commands

  JoshuaLau0220

  committed
  b2e150b

• 🐛 tableau apply -cx|-cz ctrl targ should not be the same

  JoshuaLau0220

  committed
  1071603

• ♻️ rewrite stabilizer tableau data structure for composibility

  JoshuaLau0220

  committed
  e9111b9

• ✨ baseline conversion from and to tableau

  JoshuaLau0220

  committed
  8e47e7e

• 🐛 remove unreachable guard that may be reach if the user interrupt zx optimize

  JoshuaLau0220

  committed
  9c096a7

• ✨ T-optimizer implementation in qsyn

  JoshuaLau0220

  committed
  d023ed7

• ✨ H-Optimal Stabilizer Tableau Extraction

  JoshuaLau0220

  committed
  1613957

• ✨ add H-gate and S-family report to qcir print -s

  JoshuaLau0220

  committed
  4c88c9c

• ✨ add tableau adjoint command

  JoshuaLau0220

  committed
  a0a3f2a

• ✨ Internal-H-Opt Algorithm

  JoshuaLau0220

  committed
  f9b9586

• ♻️ repurpose the Tableau data type in qsyn commands to represent general quantum logics

  JoshuaLau0220

  committed
  ff90927

• 🔨 support multi-control gates for tableau

  JoshuaLau0220

  committed
  3b66627

• ♻️ code refactoring

  JoshuaLau0220

  committed
  ca17beb

• 🐛 fix missing unreachables

  JoshuaLau0220

  committed
  53239b2

• 🐛 gflow output order not stable

  JoshuaLau0220

  committed
  9656176

• ♻️ refactor gaussian elimination strategies as free function templates for static polymorphism

  JoshuaLau0220

  committed
  649de70

• Revert ":recycle: refactor gaussian elimination strategies as free function templates for static polymorphism"

  Show description for b15f5ec
  JoshuaLau0220

  committed
  b15f5ec

Commits on Mar 1, 2024

• ♻️ refactor Tableau data structure to allow partitioning

  JoshuaLau0220

  committed
  33b04cf

Commits on Mar 3, 2024

• 💥 (breaking) argparse subparser API now requires an identifier for correct result interpretation

  JoshuaLau0220

  committed
  ce2aaa1

• ✨ add strategies for tableau extraction

  JoshuaLau0220

  committed
  0a1b45a

• ✨ matroid partitioning interface

  JoshuaLau0220

  committed
  b55c260

• 🔥 delete src/pp

  JoshuaLau0220

  committed
  53e8733

• 🐛 fix MacOS + llvm-clang compile error

  JoshuaLau0220

  committed
  e18b1e2