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
Some minor issues are resolved.