HPL v1.4.0

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.

HPL v1.3.0

What’s Changed

HPL v1.3 (#11) @git-afsantos

🚀 Features

• split_and(p: HplPredicate | HplExpression) function to hpl.rewrite module.
• simplify(p: HplPredicate | HplExpression) function to hpl.rewrite module.
• is_inclusion and is_comparison properties to BinaryOperatorDefinition.
• Factory functions boolean, number and string to HplLiteral.
• Small optimization to HplExpression type checking system.

🔧 Bug Fixes

• HplPredicateExpression.expression is now cast to DataType.BOOL on construction.

👥 List of contributors

@git-afsantos

HPL v1.2.0

What’s Changed

Added

• canonical_form(property: HplProperty) function to hpl.rewrite module.

Changed

• HplAstObject.but() returns the same object if no attributes would change.

⬆️ Dependencies updates

• ⬆️ Bump actions/checkout from 3 to 4 (#9) @dependabot

👥 List of contributors

@dependabot, @dependabot[bot] and @git-afsantos

HPL v1.1.2

What’s Changed

Fixed

• Sanity error when creating some types of predicates that was too strict.

👥 List of contributors

@git-afsantos

HPL v1.1.1

What’s Changed

Fixed

• Exception when parsing specifications.

👥 List of contributors

@git-afsantos

HPL v1.1.0

What’s Changed

Added

• hpl CLI script to test file/property parsing

👥 List of contributors

@git-afsantos

HPL v1.0.0

What’s Changed

🚀 Features

• HPL v1.0 (#6) @git-afsantos
• Python 2 is no longer supported.
• Modernized tooling and package structure.
• Improved API in various aspects, with some backward-incompatible changes.
• AST objects are mostly immutable, with available methods to create mutated copies.
• Added a number of attribute validators for AST data types.

⬆️ Dependencies updates

• ⬆️ Bump pypa/gh-action-pypi-publish from 1.4.2 to 1.8.10 (#8) @dependabot
• ⬆️ Bump actions/setup-python from 3 to 4 (#7) @dependabot

👥 List of contributors

@dependabot, @dependabot[bot] and @git-afsantos

HPL v0.2.3

v0.2.3 - 2021-08-27

Fixed

• Fixed a bug with properties that had complex events such as disjunctions.

HPL v0.2.2

[0.2.2] - 2021-08-06

Fixed

• MANIFEST.in was missing requirements.txt, causing an issue when installing with pip.

Added

• More builtin functions to use with HplFunctionCall.

HPL v0.2.1

Same as previous release, but now with zenodo DOI.