Skip to content

v2.2.3
Compare
Choose a tag to compare
@VincentDerk VincentDerk released this 29 Jun 15:51
· 8 commits to master since this release
v2.2.3
bdd9902

Since v2.2.2, mostly bug fixes, of which 1 critical. We also changed the term's hashing method.

What's Changed

  • Bugfix library/string.py::str2lst (public issue #84)
  • Bugfix return exit code instead of result - only for probability task atm (public issue #82)
  • Critical Bugfix in dSharp library (compiled CNF theory with too long clauses could yield wrong result)
  • Bugfix in pypl related to lists (private issue-16)
  • Improvements to LFI
  • Changed Term's hashing method

Full Changelog: v2.2.2...v2.2.3

Assets 2
Loading