verifypn

lp:~verifypn-stub/verifypn/dl-structural-bug

Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/dl-structural-bug
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

205. By Peter Gjøl Jensen

better, more general solution, also works for CTL -- disable if we have a (negated) Deadlock nested in a conjunct or disjunct

204. By Peter Gjøl Jensen

fix for nested deadlock in reachability, using wrong structural reductions

203. By Jiri Srba <email address hidden>

changed version number to 3.0.0 (support of CPN)

202. By Jiri Srba <email address hidden>

added MCC18 competition scripts, qemu guide and cluster scripts

201. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade speeding
up the unfolding of product colors in CPN and code cleanup

200. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/

CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules

199. By Jiri Srba <email address hidden>

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

198. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing problems with evaluating arithmetic expressions

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

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.

Subscribers