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

Created by Mads Johannsen on 2017-05-04 and last modified on 2017-05-04
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/structural-reduction-statistics
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers