verifypn

lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix

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

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix

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 248

Jiri Srba: Approve on 2021-08-18

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

248. By Nikolaj Jensen Ulrik on 2021-08-17: Fix crash when verifying is-fireable(t) when t has empty preset (thus trivially fireable)
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
239. By Jiri Srba on 2021-05-24: This version is submitted to MCC 2021 (after fixing LTL engine).

This branch contains Public information

Everyone can see this information.