lp:~verifypn-cpn/verifypn/andreas-exam

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

209. By Andreas Klostergaard on 2018-06-07

Moving to exam branch

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

203. By Jiri Srba <email address hidden> on 2018-04-25

changed version number to 3.0.0 (support of CPN)

202. By Jiri Srba <email address hidden> on 2018-04-25

added MCC18 competition scripts, qemu guide and cluster scripts

201. By Jiri Srba <email address hidden> on 2018-04-23

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> on 2018-04-18

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