lp:verifypn/u2.2

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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

Merged branch lp:~verifypn-stub/verifypn/deadlock-hotfix-2.2

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