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

232. By Jiri Srba

This version 4.0.0 was released with TAPAAL 3.8.0

231. By <email address hidden>

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

230. By Jiri Srba

merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -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 coordinates when eexporting reduced net

227. By <email address hidden>

fixed compilation with 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

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.