lp:verifypn

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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

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