-
Committer:
srba.jiri at gmail
-
Date:
2021-04-02 18:13:50 UTC
-
mfrom:
(230.1.28 mcc2021)
-
Revision ID:
srba.jiri@gmail.com-20210402181350-k71xtjut3r48l1o5
merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements