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

~verifypn-stub/verifypn/structural-reduction-statistics » Changes from revision 174

From Revision 174 to 155

Rev	Summary	Authors	Date
174	Added structural reduction statistics (number of place and Added structural reduction statistics (number of place and transitions, and reduction time)	Mads Johannsen	6 years ago
173	merged in branch lp:~verifypn-stub/verifypn/qr-metrics merged in branch lp:~verifypn-stub/verifypn/qr-metrics	Jiri Srba	6 years ago
172	merged in lp:~verifypn-stub/verifypn/simplification_timout merged in lp:~verifypn-stub/verifypn/simplification_timout	Jiri Srba	6 years ago
171	Merged in branch lp:~verifypn-stub/verifypn/simplification_m... Merged in branch lp:~verifypn-stub/verifypn/simplification_mem	Jiri Srba	6 years ago
170	merged in branch lp:~verifypn-stub/verifypn/interesting merged in branch lp:~verifypn-stub/verifypn/interesting	Jiri Srba	6 years ago
169	updated BenchKit head updated BenchKit head	Jiri Srba	6 years ago
168	fixed compilation bugs in the merged branch lp:~tapaal-dist... fixed compilation bugs in the merged branch lp:~tapaal-dist-ctl/verifypn/ss-cleanup	Jiri Srba	6 years ago
167	merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-c... merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-cleanup	Jiri Srba	6 years ago
166	fixed mem limit options fixed mem limit options	Jiri Srba	6 years ago
165	added lpsolve_MemLimit to option print and set the default t... added lpsolve_MemLimit to option print and set the default to 2048 according to the -h switch	Jiri Srba	6 years ago
164	merged in branch lp:~verifypn-stub/verifypn/memory_bug_fix merged in branch lp:~verifypn-stub/verifypn/memory_bug_fix	Jiri Srba	6 years ago
163	change of emails to gmail change of emails to gmail	Jiri Srba	7 years ago
162	merged in branch lp:~verifypn-stub/verifypn/bad_alloc_fix merged in branch lp:~verifypn-stub/verifypn/bad_alloc_fix	Jiri Srba	7 years ago
161	adjusted techniques in state-space search adjusted techniques in state-space search	Jiri Srba	7 years ago
160	fixed new lines and spaces in state-space MCC output string fixed new lines and spaces in state-space MCC output string	Jiri Srba	7 years ago
159	updated list of contributers and sorted it alphabetically updated list of contributers and sorted it alphabetically	Jiri Srba	7 years ago
158	updated competition script and added test for colored nets updated competition script and added test for colored nets	Jiri Srba	7 years ago
157	merged in branch ~verifypn-stub/verifypn/CTL-strategy-adjust... merged in branch ~verifypn-stub/verifypn/CTL-strategy-adjustment fixing default CTL strategy to DFSif Heuristic or RDFS was used	Jiri Srba	7 years ago
156	scritps for MCC17: use /usr/bin/time -v and reformating of h... scritps for MCC17: use /usr/bin/time -v and reformating of help	Jiri Srba	7 years ago
155	merged in lp:~verifypn-stub/verifypn/flagship merged in lp:~verifypn-stub/verifypn/flagship	Jiri Srba	7 years ago

Older »