lp:~verifypn-cpn/verifypn/SuccGen-simp

Branch merges

Propose for merging

No branches dependent on this one.

On hold for merging into lp:verifypn

Peter Gjøl Jensen: Approve on 2018-06-25

Diff: 67 lines (+9/-12)

2 files modified

CMakeLists.txt (+6/-4)
PetriEngine/SuccessorGenerator.cpp (+3/-8)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

212. By Andreas Klostergaard on 2018-06-14

Added cmake support for MacOS

211. By Andreas Klostergaard on 2018-06-12

Fix from comments

210. By Andreas Klostergaard on 2018-06-12

Simplifying expression in SuccessorGenerator

209. By <email address hidden> on 2018-06-08

fixed the tapaal.sh script for queries with prefix of 0

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)