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

VerifyPN Maintainers

Recent revisions

237. By Jiri Srba on 2021-05-10

This the version submitted to MCC 2021.

236. By Jiri Srba on 2021-05-01

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

235. By Jiri Srba on 2021-04-28

updated competition 2021 scripts

234. By <email address hidden> on 2021-04-27

merged in lp:~verifypn-cpn/verifypn/partitioning parsing vehicularWifi and fixing some issues and disabeling partitioning for state-space exploration

233. By <email address hidden> on 2021-04-17

updated README file

232. By <email address hidden> on 2021-04-16

merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling

231. By <email address hidden> on 2021-04-02

merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements

230. By Jiri Srba on 2020-12-17

merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0

229. By Jiri Srba on 2020-10-31

increased version number to 3.1.1

228. By Jiri Srba on 2020-10-31

merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net

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.