Version 1.2.0

What's Changed

• Explicitly construct variant to avoid compiler error by @morxa in #169
• Add Dockerfile by @morxa in #172
• circleci: build both Debug and Release build types by @morxa in #173
• Main app improvements by @morxa in #175
• railroad example: add timing constraint on enter/finish_close by @morxa in #177

Full Changelog: v1.1.3...v1.2.0

Release 1.1.3

What's Changed

• benchmarks: measure time in seconds, not nanoseconds by @morxa in #156
• Compute time successors for all possible increments of the node by @morxa in #167
• Use Fedora 36 for 1.x release by @morxa in #168

Full Changelog: v1.1.2...v1.1.3

Release 1.1.2

What's Changed

• Fix MTL->ATA Translation for conjunctions and disjunctions with >2 subformulas by @morxa in #154

Full Changelog: v1.1.1...v1.1.2

Release 1.1.1

What's Changed

• benchmarks: mark scaled railroad (instead of robot) as large benchmark by @morxa in #150

Full Changelog: v1.1.0...v1.1.1

Release 1.1.0

What's Changed

• Pin the version of catch2 by @morxa in #132
• search: do not merge successors with different actions based on reg_a by @morxa in #134
• Exclude self loops in monotonic domination checks by @morxa in #136
• utilities: correctly print strict and weak interval bounds by @morxa in #138
• Add an illustrative search example as a test case by @morxa in #140
• Avoid infinite recursion in label function by @morxa in #142
• benchmarks: add cmake flag for large benchmarks, disable by default by @morxa in #146
• Switch license to LGPLv3+ and use SPDX identifiers by @morxa in #144
• Optionally run clang-tidy and fix some clang-tidy warnings by @morxa in #148

Full Changelog: v1.0.0...v1.1.0

v1.0.0

Controller synthesis for timed automata, as described in the SEFM'21 paper