lp:verifypn/u4.0

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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

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