Skip to content

1.3.2

Choose a tag to compare

View all tags
@hweichelt hweichelt released this 07 Jul 11:11
· 52 commits to master since this release
v1.3.2
9f45484
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Bugfixes

  • Fixed unpooling bug in AssumptionPreprocessor, where program constants weren't taken into account during that step
  • Fixed RuleIDTransformer id enumeration, so that no id is duplicate if multiple files are processed
Assets 2
Loading