Author: niels
Date: Sat May 2 11:52:20 2009
New Revision: 4102
URL: http://svn.gna.org/viewcvs/service-tech?rev=4102&view=rev
Log:
* some steps towards Wendy 1.0: test cases, a Fiona deprecation mode ("-t OG"),
GPL headers, Gnits compliance, ...
Added:
trunk/wendy/THANKS
trunk/wendy/doc/ChangeLog.texi
trunk/wendy/doc/Makefile.am
trunk/wendy/doc/fdl.texi
trunk/wendy/doc/wendy.texi
trunk/wendy/tests/
trunk/wendy/tests/Makefile.am
trunk/wendy/tests/bug1/
trunk/wendy/tests/bug1.sh (with props)
trunk/wendy/tests/bug1/bug1.fiona.og
trunk/wendy/tests/bug1/bug1.owfn
trunk/wendy/tests/bug2/
trunk/wendy/tests/bug2.sh (with props)
trunk/wendy/tests/bug2/bug2.fiona.og
trunk/wendy/tests/bug2/bug2.owfn
trunk/wendy/tests/bug3/
trunk/wendy/tests/bug3.sh (with props)
trunk/wendy/tests/bug3/bug3.fiona.og
trunk/wendy/tests/bug3/bug3.owfn
trunk/wendy/tests/bug4/
trunk/wendy/tests/bug4.sh (with props)
trunk/wendy/tests/bug4/bug4.fiona.og
trunk/wendy/tests/bug4/bug4.owfn
trunk/wendy/tests/bug5/
trunk/wendy/tests/bug5.sh (with props)
trunk/wendy/tests/bug5/bug5.fiona.og
trunk/wendy/tests/bug5/bug5.owfn
trunk/wendy/tests/bug6/
trunk/wendy/tests/bug6.sh (with props)
trunk/wendy/tests/bug6/bug6.fiona.og
trunk/wendy/tests/bug6/bug6.owfn
trunk/wendy/tests/bug7/
trunk/wendy/tests/bug7.sh (with props)
trunk/wendy/tests/bug7/bug7.fiona.og
trunk/wendy/tests/bug7/bug7.owfn
trunk/wendy/tests/net-phils/
trunk/wendy/tests/net-phils.sh (with props)
trunk/wendy/tests/net-phils/phcontrol3.unf.fiona.og
trunk/wendy/tests/net-phils/phcontrol3.unf.owfn
trunk/wendy/tests/net-purchase/
trunk/wendy/tests/net-purchase.sh (with props)
trunk/wendy/tests/net-purchase/PO.fiona.og
trunk/wendy/tests/net-purchase/PO.owfn
trunk/wendy/tests/net-sequence/
trunk/wendy/tests/net-sequence.sh (with props)
trunk/wendy/tests/net-sequence/sequence10.fiona.og
trunk/wendy/tests/net-sequence/sequence10.owfn
trunk/wendy/tests/net-travel/
trunk/wendy/tests/net-travel.sh (with props)
trunk/wendy/tests/net-travel/T2.fiona.og
trunk/wendy/tests/net-travel/T2.owfn
trunk/wendy/tests/net-zeus/
trunk/wendy/tests/net-zeus.sh (with props)
trunk/wendy/tests/net-zeus/zeus.fiona.og
trunk/wendy/tests/net-zeus/zeus.owfn
trunk/wendy/tests/wrap.sh (with props)
Modified:
trunk/wendy/AUTHORS
trunk/wendy/ChangeLog
trunk/wendy/Makefile.am
trunk/wendy/NEWS
trunk/wendy/README
trunk/wendy/configure.ac
trunk/wendy/libs/Makefile.am
trunk/wendy/man/Makefile.am
trunk/wendy/src/FullMarking.cc
trunk/wendy/src/FullMarking.h
trunk/wendy/src/InnerMarking.cc
trunk/wendy/src/InnerMarking.h
trunk/wendy/src/InterfaceMarking.cc
trunk/wendy/src/InterfaceMarking.h
trunk/wendy/src/Knowledge.cc
trunk/wendy/src/Knowledge.h
trunk/wendy/src/Label.cc
trunk/wendy/src/Label.h
trunk/wendy/src/StoredKnowledge.cc
trunk/wendy/src/StoredKnowledge.h
trunk/wendy/src/cmdline.ggo
trunk/wendy/src/lexic_graph.ll
trunk/wendy/src/main.cc
trunk/wendy/src/syntax_graph.yy
trunk/wendy/src/types.h
--
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.
