Skip to content

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
Open

Fixing LESS, GREATER and IMPLIES operator, outdated typing.io imports and pastification of negative numbers#207
tederer wants to merge 7 commits into
nickovic:masterfrom
tederer:bugFixing

Fixed pastification result when specification/rule contains a negativ…

9c3a0cd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs