~verifypn-maintainers/verifypn/competition2015reachabilityBounds : changes

~verifypn-maintainers/verifypn/competition2015reachabilityBounds » Changes from revision 64

From Revision 64 to 45

Rev	Summary	Authors	Date
64	removed competition scripts - moved to trunk removed competition scripts - moved to trunk	Jiri Srba	8 years ago
63	fixed a problem with missing generation of queries that are ... fixed a problem with missing generation of queries that are not used	Jiri Srba	9 years ago
62	seems to be working correclty now seems to be working correclty now	Jiri Srba	9 years ago
61	almost working, missing to get the information about place b... almost working, missing to get the information about place bound	Jiri Srba	9 years ago
60	working on evaluating expressions working on evaluating expressions	Jiri Srba	9 years ago
59	working working	Jiri Srba	9 years ago
58	parser working, needs to finish the evaluator now parser working, needs to finish the evaluator now	Jiri Srba	9 years ago
57	working on reachability bound working on reachability bound	Jiri Srba	9 years ago
56	work on competition parsing, fix in paranthesis around conju... work on competition parsing, fix in paranthesis around conjunction/disjunction, deletion in object for lpsolve, shell scripts for MCC2015, parsing now avoids using iterator when not necessary (fixes issues with linux)	Jiri Srba	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

Older »