Merge branch 'release/2.4.31' into develop
version bump
add test for unicode translation bug, disabled for now
Added new AP operators ('deadlock(a1,...,ak)','deterministic(a1,...,ak)') to the LTL grammar. Adapted the LTLLexer and the PrologGenerator classes to cope with the new operators. Added unit tests.
Did some refactoring and removed unnecessary comments.
Did some refactoring.
Added a test case and removed debugging prints.
Recognising operations with arguments is now also possible inside the new deadlock(...) and deterministic(...) operators.
Updated copyright license dates.
'deadlock(...)' and 'determinisitic(...)' should be parsed as atomic propositions.
Added a new AP operator ('controller(e1,...,ek)') to the Ltl grammar.
version bump for release
Merge branch 'release/2.4.32'