verifypn

lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103

Created by Thomas Pedersen on 2021-07-12 and last modified on 2021-07-17

Get this branch:: bzr branch lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103

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 245

Jiri Srba: Approve on 2021-07-18

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

Critical

Fix Committed

247. By Peter G. Jensen <email address hidden> on 2021-07-17: removed debug
246. By Thomas Pedersen <email address hidden> on 2021-07-17: Revert needed partition adjustments
245. By Thomas Pedersen <email address hidden> on 2021-07-12: Remove unnecessary adjustment of partition colors
244. By Thomas Pedersen <email address hidden> on 2021-07-10: Handle multiple constant colors in arc expressions
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).
238. By Jiri Srba on 2021-05-20: merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negation issue in the parsing of LTL queries

This branch contains Public information

Everyone can see this information.