verifypn

lp:~tapaal-ltl/verifypn/kbound-fix-ltl

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

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 250

Jiri Srba: Approve on 2021-08-21

Peter Gjøl Jensen: Approve on 2021-08-21

249. By Nikolaj Jensen Ulrik on 2021-08-12: Fix 'A true' crashing the verifier in LTL mode
248. By Nikolaj Jensen Ulrik on 2021-08-10: Fixing kbound issues in NDFS
247. By Jiri Srba <email address hidden> on 2021-08-09: merged in lp:~tapaal-ltl/verifypn/ltl-trace-fixes fixing trace generation and replay
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
241. By Jiri Srba on 2021-07-05: merged in lp:~tapaal-ltl/verifypn/rule-D-fix fixing a problem in reduction rule D for CTL and LTL logic
240. By <email address hidden> on 2021-06-06: merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI

This branch contains Public information

Everyone can see this information.