lp:verifypn/u2.2

Created by Jiri Srba on 2018-01-18 and last modified on 2018-05-02
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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

Recent revisions

202. By Jiri Srba <email address hidden> on 2018-05-02

increased version number to 2.2.1

201. By Jiri Srba <email address hidden> on 2018-05-02

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

200. By Jiri Srba <email address hidden> on 2018-03-15

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> on 2018-03-15

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

198. By Jiri Srba <email address hidden> on 2018-01-24

Released version 2.2.0

197. By Jiri Srba on 2018-01-23

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

196. By Jiri Srba on 2018-01-15

updated the license file

195. By Jiri Srba on 2018-01-15

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

194. By Jiri Srba on 2018-01-13

changed version number to 2.2.0 and copyright to 2018

193. By Jiri Srba <email address hidden> on 2018-01-04

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