lp:~verifypn-stub/verifypn/structural-reduction-statistics

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 174

Jiri Srba: Approve on 2017-05-04

Mads Johannsen (community): Needs Resubmitting on 2017-05-04

Diff: 74 lines (+25/-1)

2 files modified

PetriEngine/PetriNetBuilder.h (+12/-0)
VerifyPN.cpp (+13/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

174. By Mads Johannsen on 2017-05-04

Added structural reduction statistics (number of place and transitions, and reduction time)

173. By Jiri Srba on 2017-05-04

merged in branch lp:~verifypn-stub/verifypn/qr-metrics

172. By Jiri Srba <email address hidden> on 2017-05-03

merged in lp:~verifypn-stub/verifypn/simplification_timout

171. By Jiri Srba <email address hidden> on 2017-05-02

Merged in branch lp:~verifypn-stub/verifypn/simplification_mem

170. By Jiri Srba on 2017-05-01

merged in branch lp:~verifypn-stub/verifypn/interesting

169. By Jiri Srba <email address hidden> on 2017-04-27

updated BenchKit head

168. By Jiri Srba <email address hidden> on 2017-04-27

fixed compilation bugs in the merged branch lp:~tapaal-dist-ctl/verifypn/ss-cleanup

167. By Jiri Srba <email address hidden> on 2017-04-27

merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-cleanup

166. By Jiri Srba <email address hidden> on 2017-04-24

fixed mem limit options

165. By Jiri Srba <email address hidden> on 2017-04-24

added lpsolve_MemLimit to option print and set the default to 2048 according to the -h switch