lp:~verifypn-stub/verifypn/inhibitor-por-error

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 206

Jiri Srba: Approve on 2018-05-27

Diff: 28 lines (+5/-2)

2 files modified

PetriEngine/PetriNet.cpp (+4/-1)
PetriEngine/ReducingSuccessorGenerator.cpp (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

207. By Peter Gjøl Jensen on 2018-05-25

fixed typo in inhibitor set construction

206. By Peter Gjøl Jensen on 2018-05-25

added output of inhibitor arcs

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

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

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

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