Author: suermeli
Date: Tue Sep 22 14:33:43 2009
New Revision: 4753
URL: http://svn.gna.org/viewcvs/service-tech?rev=4753&view=rev
Log:
* Added information on run time and memory usage (only visible in verbose mode).
* Changed final markings: Since interface places are handled as having zero
tokens in any final marking in the lp computation, we also assume that in our
coding and ignore tokens on interface places in final markings.
* Changed test case "Final condition to final marking" accordingly.
* Switched off two test cases since their outgoing depends on pointer ordering
(which is not portable).
* Code optimization.
Modified:
trunk/linda/configure.ac
trunk/linda/src/eventTerm.cc
trunk/linda/src/eventTerm.h
trunk/linda/src/helpers.h
trunk/linda/src/main.cc
trunk/linda/src/setsOfFinalMarkings.cc
trunk/linda/src/setsOfFinalMarkings.h
trunk/linda/src/stateEquation.cc
trunk/linda/src/stateEquation.h
trunk/linda/tests/testsuite.at
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
