verifypn

lp:~tapaal-contributor/verifypn/Fix-partition-id-clash-1939939

Created by Thomas Pedersen on 2021-08-15 and last modified on 2021-08-17

Get this branch:: bzr branch lp:~tapaal-contributor/verifypn/Fix-partition-id-clash-1939939

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:verifypn at revision 249

Jiri Srba: Approve on 2021-08-19

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

Undecided

Fix Committed

250. By Thomas Pedersen <email address hidden> on 2021-08-17: Add function for getting unique ids to avoid id clashing
249. By Thomas Pedersen <email address hidden> on 2021-08-16: Handle diagonal positions in partitions
248. By Thomas Pedersen <email address hidden> on 2021-08-15: Avoid creating multiple empty varmaps and handle output vars based on partition when possible
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

This branch contains Public information

Everyone can see this information.