~tapaal-dist/verifypn/LTSmin : changes

~tapaal-dist/verifypn/LTSmin » Changes from revision 64

From Revision 60 to 41

Rev	Summary	Authors	Date
60	............................ ............................	Søren Moss Nielsen	9 years ago
59	Craeted handmade speedtest for if-structured approach Craeted handmade speedtest for if-structured approach	Søren Moss Nielsen	9 years ago
58	Big sample done - starting code gen Big sample done - starting code gen	Søren Moss Nielsen	9 years ago
57	Created new handmade example Created new handmade example	Søren Moss Nielsen	9 years ago
56	Commiting initial code generator files Commiting initial code generator files	Søren Moss Nielsen	9 years ago
55	changed XML parser so that it preservers the order of tags changed XML parser so that it preservers the order of tags some output formating changes too	Jiri Srba	9 years ago
54	merged in branch that fixes Rule C so that it is required th... merged in branch that fixes Rule C so that it is required that none of the parallel places can have any token.	Jiri Srba	9 years ago
53	merged in a branch allowing a static build of linux verifypn... merged in a branch allowing a static build of linux verifypn binaries	Jiri Srba	9 years ago
52	updated the make files to work with the latest compiler vers... updated the make files to work with the latest compiler version	Jiri Srba	9 years ago
51	merged in a branch adding a parser for XMP competition queri... merged in a branch adding a parser for XMP competition queries launch script is added too	Jiri Srba	9 years ago
50	merged in a branch that uses IDs instead of names for transi... merged in a branch that uses IDs instead of names for transitions and places in the PNML parser	Jiri Srba	10 years ago
49	merged in a branch allowing to use quatations around the pla... merged in a branch allowing to use quatations around the place names in queries	Jiri Srba	10 years ago
48	merged in branch fixing ommitted condition in Rule B (output... merged in branch fixing ommitted condition in Rule B (output places of t' should not be used in queries).	Jiri Srba	10 years ago
47	updated documentation for rule B (missing condition) updated documentation for rule B (missing condition)	Jiri Srba	10 years ago
46	merged in branch fixing memory limit overflow merged in branch fixing memory limit overflow	Jiri Srba	10 years ago
45	merged in branch adding place-bound statistics merged in branch adding place-bound statistics	Jiri Srba	10 years ago
44	merged in branch adding transition statistics to the output ... merged in branch adding transition statistics to the output of the engine	Jiri Srba	10 years ago
43	merged in a branch implementing -r switch merged in a branch implementing -r switch enabeling structural net reductions as preprocessing for the verification	Jiri Srba	10 years ago
42	changed version number to 1.0.0 and added copyright until 20... changed version number to 1.0.0 and added copyright until 2014	Jiri Srba	10 years ago
41	Fixed bug #1280894 (for weighted arcs multiple tokens are no... Fixed bug #1280894 (for weighted arcs multiple tokens are now printed in the error trace)	Jiri Srba	10 years ago

Older »