Author: gierds
Date: Tue Mar 6 17:13:07 2012
New Revision: 7281
URL: http://svn.gna.org/viewcvs/service-tech?rev=7281&view=rev
Log:
* intermediate step: remove states, where reaching final state is impossible
* next: remove transitions leading to message bound violation
Modified:
trunk/marlene/src/adapter.cc
trunk/marlene/src/adapter.h
trunk/marlene/src/cmdline.ggo
trunk/marlene/src/parser_adapt_rules.yy
trunk/marlene/utils/pruner-cmdline.ggo
trunk/marlene/utils/pruner-helper.h
trunk/marlene/utils/pruner-statespace.cc
trunk/marlene/utils/pruner-statespace.h
trunk/marlene/utils/pruner-verbose.h
trunk/marlene/utils/pruner.cc
trunk/marlene/utils/pruner_lexer_communication.ll
trunk/marlene/utils/pruner_parser_communication.yy
trunk/marlene/utils/pruner_parser_graph.yy
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
