lp:verifypn

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn
Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

Recent revisions

244. By Kenneth Yrke Jørgensen

Fixed typo

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

237. By Jiri Srba

This the version submitted to MCC 2021.

236. By Jiri Srba

merged in lp:~verifypn-cpn/verifypn/optimize-unfolding improving the unfolding of CPN

Branch metadata

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