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

202. By Jiri Srba <email address hidden>

increased version number to 2.2.1

201. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/deadlock-hotfix-2.2
fixing a bug #1750629

200. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug causing wrong answer on one query in MCC'17

199. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing arithmetic expressions eveluation

198. By Jiri Srba <email address hidden>

Released version 2.2.0

197. By Jiri Srba

merged in branch lp:~verifypn-stub/verifypn/always_compile
forcing a compilation of negation push for fireability predicates

196. By Jiri Srba

updated the license file

195. By Jiri Srba

merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing a bug in encoder (memcpy)

194. By Jiri Srba

changed version number to 2.2.0 and copyright to 2018

193. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction
for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm

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.