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.