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

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:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.