verifypn

lp:~tapaal-ltl/verifypn/ltl-trace-fixes

Created by Nikolaj Jensen Ulrik on 2021-08-06 and last modified on 2021-08-06

Members of tapaal-ltl can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:verifypn at revision 247

Jiri Srba: Approve on 2021-08-09

251. By Nikolaj Jensen Ulrik on 2021-08-06: Trace replay now works for non-LTL flows too
250. By Nikolaj Jensen Ulrik on 2021-08-06: Better help string
249. By Nikolaj Jensen Ulrik on 2021-08-06: Clean Buchi states from trace replay, try to make it general
248. By Nikolaj Jensen Ulrik on 2021-08-06: Better help string for heuristic format
247. By Nikolaj Jensen Ulrik on 2021-08-06: Fix trace to only output preset of transition
246. By Jiri Srba on 2021-08-05: merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation
245. By <email address hidden> on 2021-07-18: merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding
244. By Kenneth Yrke Jørgensen on 2021-07-14: Fixed typo
243. By <email address hidden> on 2021-07-07: merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser
242. By Jiri Srba on 2021-07-05: merged in lp:~yrke/verifypn/github-automation adding github actions

This branch contains Public information

Everyone can see this information.