Created by Jiri Srba on 2016-12-15 and last modified on 2020-04-30
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

224. By Jiri Srba on 2020-04-30

updated MCC 2020 competition script

223. By Jiri Srba on 2020-04-27

fixed a bug in MCC20 script BC should be BK

222. By <email address hidden> on 2020-04-26

updated MCC20 scripts and added README file for installing the VM

221. By <email address hidden> on 2020-04-25

small update in scripts

220. By <email address hidden> on 2020-04-25

added MCC 2020 competition scripts

219. By <email address hidden> on 2019-04-23

merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check
in NIM model

218. By Jiri Srba <email address hidden> on 2019-04-01

merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint fixing the printing of empty trace

217. By Jiri Srba <email address hidden> on 2019-03-28

increased version number to 3.0.2

216. By Jiri Srba <email address hidden> on 2019-03-28

merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation when reduction rule H is enabled

215. By <email address hidden> on 2019-03-14

added consistency tests

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.