v0.8.0

🚀 New Features

• Dynamic Extraction by @chinyi0523 in #137
• Feat/phase teleport and graysynth by @JoshuaLau0220 in #138
• MST-based Resynthesis by @JoshuaLau0220
• Feat/causal flow opt by @JoshuaLau0220 in #143
• Merge Develop branch into Main by @jimmy312495 and @arttr1521 in #147

🔧 Refinement

• Restructure ZXRule and Simplifier
• Make command usage and comments more helpful
• Refactor STL usage

🐛 Bug Fixed

• Fix qcir equiv prematurely applies TODD by @JoshuaLau0220 in #134
• Fix bad extractor ctor param order leading to wrong initialization
• Fix compilation error due to unstaged blocks
• Fix dependency issues for llvm MacOS tests
• Fix compilation error due to unstaged blocks
• Fix qasm reading error

New Contributors

• @jimmy312495 made their first contribution in #147