Skip to content

HPL v1.4.0

Latest
Latest
Compare
Choose a tag to compare
@git-afsantos git-afsantos released this 20 Nov 10:43
· 20 commits to main since this release
v1.4.0
f2816a2

v1.4.0 - 2023-11-20

Added

  • get_conjuncts(p: HplPredicate | HplExpression) function to hpl.rewrite module.
  • get_disjuncts(p: HplPredicate | HplExpression) function to hpl.rewrite module.

Changed

  • Small improvement in hpl.rewrite.simplify.
Assets 3
Loading