v0.2.0

This release includes a refactoring (#159) that moves all parameters from each CircuitSeq to the Context object. It also allows timeout values that are not multiples of one second in the optimizer (#172).

The formats of the ECC Set (EquivalenceSet) and the JSON files for DataSet and CircuitSeq are changed from v0.1.x. If you use the ECC Sets in the PLDI 2022 Artifact, please use them with v0.1.x or manually generate the ECC Sets again in v0.2.x.

v0.1.1

This release includes functions to translate circuits between different gate sets more conveniently, including functions translating CCZ gates to CX and RZ gates as well as RZ gates to T/S/Z gates in linear time.

It also adds an example ECC Set for the Toffoli+T gate set.

v0.1.0

This is the version before the large-scale refactor (#159). Parameter expressions are stored in the circuit sequences in this version. The ECC set format changes after v0.1 (in v0.1, the ECC set format is the same as the PLDI 2022 Artifact version).