lp:~verifypn-maintainers/verifypn/verifypnRuleBfix

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~verifypn-maintainers/verifypn/trunk at revision 48

Jiri Srba: Approve on 2014-03-18

Diff: 15 lines (+2/-2)

1 file modified

PetriEngine/Reducer.cpp (+2/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

48. By Jiri Srba on 2014-03-18

fixes an bug in Rule B where it was forgotten to check that the output places
of t' are not used in any query

47. By Jiri Srba on 2014-03-18

updated documentation for rule B (missing condition)

46. By Jiri Srba on 2014-03-18

merged in branch fixing memory limit overflow

45. By Jiri Srba on 2014-03-18

merged in branch adding place-bound statistics

44. By Jiri Srba on 2014-03-12

merged in branch adding transition statistics to the output of the engine

43. By Jiri Srba on 2014-03-05

merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

42. By Jiri Srba on 2014-02-18

changed version number to 1.0.0 and added copyright until 2014

41. By Jiri Srba on 2014-02-16

Fixed bug #1280894 (for weighted arcs multiple tokens are now printed in the error trace)

40. By Jiri Srba on 2013-10-21

corrected a typo in README file

39. By Jonas Finnemann Jensen <jonasfj@jonasfj-laptop> on 2013-10-20

Added win64 support