Author: niels
Date: Tue Jan 27 11:19:53 2009
New Revision: 3757
URL: http://svn.gna.org/viewcvs/service-tech?rev=3757&view=rev
Log:
* added a directory `utils' for small helper tools:
* `graph2dot' creates a graphical representation of a reachability graph
created by LoLA (e.g., when configured with mode `FULL')
* `path2graph' translates a path created by LoLA (e.g., when configured
with mode `DEADLOCK') into a reachability graph
Added:
trunk/lola/utils/
trunk/lola/utils/Makefile.am
trunk/lola/utils/cmdline-graph2dot.ggo
trunk/lola/utils/graph2dot.cc (with props)
trunk/lola/utils/lexic_graph.ll
trunk/lola/utils/lexic_net.ll
trunk/lola/utils/lexic_path.ll
trunk/lola/utils/path2graph.cc (with props)
trunk/lola/utils/syntax_graph.yy
trunk/lola/utils/syntax_net.yy
trunk/lola/utils/syntax_path.yy
Modified:
trunk/lola/ChangeLog
trunk/lola/Makefile.am
trunk/lola/NEWS
trunk/lola/configure.ac
trunk/lola/doc/ChangeLog.texi
trunk/lola/maintainer/Makefile.am
--
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.
