v0.3.1

This release contains minor enhancements and bug fixes.

What's Changed

• [bug] [verifier] Fix a bug when finding common subcircuits by @xumingkuan in #200
• [verifier] Use trigonometric functions for concrete parameters by @xumingkuan in #203
• [Verifier] Distinguish parameters only for arithmetic expressions from concrete parameters which uses trigonometric functions by @xumingkuan in #204
• [optimizer] Add a benchmark for optimization steps by @xumingkuan in #205
• [Parser] Let parameter parser reuse the same concrete constant parameters across files by @xumingkuan in #206
• [verifier] Remove unused qubits when verifying transformation steps by @xumingkuan in #207
• [verifier] [bug] Fix a bug when removing common prefix gates and do not generate hashing distribution in test_optimization_steps.h by @xumingkuan in #208
• [verifier] Use qubit wires instead of gates as a frontier when removing common prefix gates by @xumingkuan in #209
• [verifier] Add an option to output each step in preprocessing by @xumingkuan in #211
• [verifier] Flatten if-expression in half-angle formula using sqrt2,3,5 by @xumingkuan in #212
• [QASM] Print out pi symbolically if possible by @xumingkuan in #213
• [Parser] Fix parser crashing on circuits with no gates by @xumingkuan in #214
• [Verifier] Consider phase factor differences of pi/8 by @xumingkuan in #215
• [Verifier] Use SymPy instead of Z3 for verifier by @xumingkuan in #217
• [Verifier] Add an option to use rationals times pi in Quartz by @xumingkuan in #219
• [Optimizer] Use bitset for qubit masks by @xumingkuan in #220
• [bug] Fix test_optimization crashing when dst_ctx is nullptr by @xumingkuan in #222
• [verifier] Use simplify in addition to minimal_polynomial in SymPy and fix input format for Rational by @xumingkuan in #223

Full Changelog: v0.3.0...v0.3.1