Author: niels
Date: Sat Jan 31 20:25:05 2009
New Revision: 3782
URL: http://svn.gna.org/viewcvs/service-tech?rev=3782&view=rev
Log:
* removed tool "path2graph" as its functionality is already provided by LoLA...
:-)
* "graph2dot" can read LoLA's "-m" output and either draw the whole
reachability graph or only the markings on the witness/counterexample path
Added:
trunk/lola/THANKS
trunk/lola/src/configs/userconfig.H.none
Removed:
trunk/lola/utils/cmdline-path2graph.ggo
trunk/lola/utils/lexic_net.ll
trunk/lola/utils/lexic_path.ll
trunk/lola/utils/path2graph.cc
trunk/lola/utils/syntax_net.yy
trunk/lola/utils/syntax_path.yy
Modified:
trunk/lola/ChangeLog
trunk/lola/NEWS
trunk/lola/configure.ac
trunk/lola/doc/ChangeLog.texi
trunk/lola/doc/Makefile.am
trunk/lola/doc/lola.texi
trunk/lola/src/net.cc
trunk/lola/utils/Makefile.am
trunk/lola/utils/cmdline-graph2dot.ggo
trunk/lola/utils/lexic_graph.ll
trunk/lola/utils/syntax_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
[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.
