Fixing LESS, GREATER and IMPLIES operator, outdated typing.io imports and pastification of negative numbers#207

Open

tederer wants to merge 7 commits into

nickovic:masterfrom

tederer:bugFixing

Commits on Jun 24, 2026

fixed typing import statements
Thomas Ederer
committed
Changed LESS and GREATER operator to return -sys.float_info.min when arguments are identical.
Thomas Ederer
committed
Changed the IMPLIES operator to use sys.float_info.min for the left argument when it is zero. This prevents implications that are always true, even when they should not be.
Thomas Ederer
committed
Changed IMPLIES operator to use sys.float_info.max for the left argument when it is zero. This prevents implications that are always true, even when they should not be. Added some tests as well to …
Thomas Ederer
committed

Commits on Jun 25, 2026

Set version of antlr4 to 4.9 to get the typing fixes. Deleted StlLexer files because they are outdated and no grammar file (.g4) exists to build them with 4.9.
Thomas Ederer
committed

Commits on Jun 29, 2026

Updated documentation of modified operators.
Thomas Ederer
committed

Commits on Jul 2, 2026

Fixed pastification result when specification/rule contains a negative integer or decimal. Before this fix rules like "signal1 >= -3" or "signal1 >= -3.0" resulted in losing the sign of the "3"-lit…
Thomas Ederer
committed