monaa - 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

- C++
Published by MasWag over 3 years ago

monaa - 0.5.3

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

- C++
Published by MasWag over 4 years ago

monaa - 0.5.2

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

- C++
Published by MasWag almost 5 years ago

monaa - 0.5.1

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

- C++
Published by MasWag almost 5 years ago

monaa - 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

- C++
Published by MasWag over 6 years ago

monaa - 0.4.2

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

- C++
Published by MasWag over 6 years ago

monaa - 0.4.1

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

- C++
Published by MasWag almost 7 years ago