~tapaal-ctl/verifypn/verifypnCTL

From Revision 247 to 228

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
247		the info about the net is printed only if -n switch is not p... the info about the net is printed only if -n switch is not present	Jiri Srba	8 years ago
246		FORMULA is now printed just before the results are printed a... FORMULA is now printed just before the results are printed and printstatistics flag is used to suppress printing CTL debugging info	Jiri Srba	8 years ago
245		Added another break in fireable transitions traversion Added another break in fireable transitions traversion	Søren Moss Nielsen	8 years ago
244		Added breaks in fireable transitions traversion Added breaks in fireable transitions traversion	Søren Moss Nielsen	8 years ago
243		Added support for inhibitor arcs Added support for inhibitor arcs	Søren Moss Nielsen	8 years ago
242		Minor fix to outputformat Minor fix to outputformat	Søren Moss Nielsen	8 years ago
241		Added techniques to competition output Added techniques to competition output	Søren Moss Nielsen	8 years ago
240		Most merge proposal revision sugestions implemented Most merge proposal revision sugestions implemented	Søren Moss Nielsen	8 years ago
239		Added to compression structure Added to compression structure	Søren Moss Nielsen	8 years ago
238		Compression Structure Compression Structure	Søren Moss Nielsen	8 years ago
237		fixing windows make files fixing windows make files	Jiri Srba	8 years ago
236		updated windows make files updated windows make files	Jiri Srba	8 years ago
235		updated osx make files updated osx make files	Jiri Srba	8 years ago
234		merged in branch that uses boost hash and allows to compile ... merged in branch that uses boost hash and allows to compile to osx 10.6	Jiri Srba	8 years ago
233		fixed the makefile for win32 fixed the makefile for win32	Jiri Srba	8 years ago
232		increased version number and added new contributors for -v f... increased version number and added new contributors for -v flag	Jiri Srba	8 years ago
231		merged with the branch merged with the branch	Jiri Srba	8 years ago
230		suppressed register keyword in parser and updated mac compil... suppressed register keyword in parser and updated mac compile scripts	Jiri Srba	8 years ago
229		Updated make files Updated make files	lasjen12 at aau	8 years ago
228		Removed tr1 references and fixed header guard in DepthFirstS... Removed tr1 references and fixed header guard in DepthFirstSearch.h	lasjen12 at aau	8 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1