0.5.4

Some minor issues are resolved.

• Fixed some issues on GitHub Actions and Docker
• Disabled march=native if not supported
  • It seems this flag is not supported on M1 mac
• Added integrated test in CI
• Fixed an issue on Kleene start + timing constraints

0.5.3

• automatic search of Bison and Flex installed by homebrew on macOS
• fix docker image build

0.5.2

• Fixed a bug in the translation from a TRE to a TA

0.5.1

• Fixed a bug in the translation from a TRE to a TA

0.5

• Added tre2ta standalone
  • A translator of a timed regular expression to a timed automaton
  • The translation is the same as the one used in MONAA
• By default, unit_test is not built anymore
  • You have to explicitly specify it e.g., make unit_test

0.4.2

Fixed a memory error (std::bad_alloc) in some environments when a TRE is used

0.4.1

• Fixed a bug in the TRE with Kleene star * and concatenate
  • For example, (A*B)$