~verifypn-stub/verifypn/short-circut : changes

~verifypn-stub/verifypn/short-circut » Changes from revision 183

From Revision 159 to 140

Rev	Summary	Authors	Date
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
152	changed version number to 2.1 changed version number to 2.1	Jiri Srba	7 years ago
151	added documentation for rules A, B, C, D, E added documentation for rules A, B, C, D, E	Jiri Srba	7 years ago
150	changed version number and updated copyright until 2017 changed version number and updated copyright until 2017	Jiri Srba	7 years ago
149	fixed statistics formatting for GUI fixed statistics formatting for GUI	Peter Gjøl Jensen	7 years ago
148	added check for pnml-tag in root of xml document added check for pnml-tag in root of xml document	Peter Gjøl Jensen	7 years ago
147	now rejects nets not exported as PNML now rejects nets not exported as PNML	Peter Gjøl Jensen	7 years ago
146	added missing override added missing override	Peter Gjøl Jensen	7 years ago
145	fixed ruleE in reductions fixed ruleE in reductions	Peter Gjøl Jensen	7 years ago
144	readded search strategies to help output readded search strategies to help output	Peter Gjøl Jensen	7 years ago
143	ensured that edges are always sorted s.t. search-order w/wo ... ensured that edges are always sorted s.t. search-order w/wo reductions is consistent when reductions are ineffective	Peter Gjøl Jensen	7 years ago
142	fixed typo fixed typo	Peter G. Jensen	7 years ago
141	removed unneeded files removed unneeded files	Peter Gjøl Jensen	7 years ago
140	fixed copyrights and warning fixed copyrights and warning	Peter Gjøl Jensen	7 years ago