Created by Peter Gjøl Jensen on 2018-06-13 and last modified on 2018-07-24
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/user_reduction_flow
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

213. By Peter Gjøl Jensen on 2018-07-24

fixed ruleI

212. By Peter Gjøl Jensen on 2018-07-20

fixed off by one

211. By Peter Gjøl Jensen on 2018-07-18

fixed double rule-removal leading to segfault

210. By Peter Gjøl Jensen on 2018-07-17

fixed rule disabeling for CTL

209. By Peter Gjøl Jensen on 2018-06-13

added user selected reductions

208. By Jiri Srba <email address hidden> on 2018-05-28

merged in branch lp:~verifypn-stub/verifypn/rulei-segfault
fixing segfault in reduction rule I

207. By Jiri Srba on 2018-05-27

merged in branch lp:~verifypn-cpn/verifypn/col_weight_fix fixing a problem
in CPN overapproximation and multiset minus operator

206. By Jiri Srba on 2018-05-27

merged in branch lp:~verifypn-stub/verifypn/inhibitor-por-error fixing a problem
with inhibitor arcs and partial order reduction

205. By Jiri Srba on 2018-05-13

merged in branch lp:~verifypn-stub/verifypn/inhib-por-bugfix
fixing a number of bugs in the engine in non-MCC models and queries

204. By Jiri Srba on 2018-04-30

merged in branch lp:~verifypn-stub/verifypn/dl-structural-bug
fixing bug #1750629

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.