v4.4.2

Fixes engine issues and enables interactive mode for CPN simulations.

verifypn 4.3.0

This is a new release of the untimed engine that makes numerous bug fixes, adds support for LTL and HyperLTL as well as for explicit reachability analysis of CPNs

v4.2.4

Release fixing a bug in trace generation for LTL with simple loop

v4.2.3

Introduces max token count reporting for CTL.
Facilitates reporting inconclusive answers in the GUI when the token count has been exceeded.