HPL RV v1.2.0

HPL RV v1.2.0 - 2023-11-06

Added

• New public templates to render HplExpression.

HPL RV v1.1.2

Changed

• Updated GitHub workflows.

HPL RV v1.1.1

Fixed

• Updated code to be compatible with HPL v1.1.

HPL RV v1.1.0

v1.1.0 - 2023-08-03

Added

• Templates to generate monitors in JavaScript.
• A --lang option for the gen command to choose output language (choices: py, js; default: py).

HPL RV v1.0.0

Initial release of the package, upgraded from the previous repository: hpl-rv-gen.

Includes a CLI script with:

• a gen subprogram to generate runtime monitors;
• a gui subprogram to serve a web dashboard to visualize monitor status in real time;
• a play subprogram to load generated monitors and replay a trace of messages (useful to test the gui dashboard).