2.13

A bug in the compile-time value of ternary expression in the compiler…

… is fixed.

2.12

JDK version is upgraded to JDK 21

2.11

A bug for the case of BA with no state is fixed.

A new LTL parser library is added to the dependencies and will be developed in the next release.

2.10

Change the structure of code for the new style of the exception conta…

…iner.

2.9

Config in adhoc test is set.

2.8.4

Installing the compiler jar file is added to the pipeline

CircleCIRelease

Automatic release of RMC is enabled by CircleCI.