Created by Thomas Pedersen and last modified
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.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

247. By Peter G. Jensen <email address hidden>

removed debug

246. By Thomas Pedersen <email address hidden>

Revert needed partition adjustments

245. By Thomas Pedersen <email address hidden>

Remove unnecessary adjustment of partition colors

244. By Thomas Pedersen <email address hidden>

Handle multiple constant colors in arc expressions

243. By <email address hidden>

merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser

242. By Jiri Srba

merged in lp:~yrke/verifypn/github-automation adding github actions

241. By Jiri Srba

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>

merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI

239. By Jiri Srba

This version is submitted to MCC 2021 (after fixing LTL engine).

238. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negation issue in the parsing of LTL queries

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.