~verifypn-stub/verifypn/qr-metrics : changes

~verifypn-stub/verifypn/qr-metrics » Changes from revision 172

From Revision 172 to 153

Rev	Summary	Authors	Date
172	Record and print query reduction metric Record and print query reduction metric	Jakob Dyhr	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	7 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	7 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	7 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
154	changed version number to 2.1.0 changed version number to 2.1.0	Jiri Srba	7 years ago
153	merged in new CTL branch and increased version number to 3.0... merged in new CTL branch and increased version number to 3.0.0	Jiri Srba	7 years ago

Older »