Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn/u3.1
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

230. By Jiri Srba

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

229. By Jiri Srba

increased version number to 3.1.1

228. By Jiri Srba

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

227. By <email address hidden>

fixed compilation of static libraries for mac

226. By <email address hidden>

updated version number to 3.1.0

225. By <email address hidden>

merged in lp:~verifypn-maintainers/verifypn/interval_tar doing
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
 - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
 - Implements new global properties, translated into CTL formulae.

224. By Jiri Srba

updated MCC 2020 competition script

223. By Jiri Srba

fixed a bug in MCC20 script BC should be BK

222. By <email address hidden>

updated MCC20 scripts and added README file for installing the VM

221. By <email address hidden>

small update in scripts

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.