Author: cas
Date: Sun Dec 4 21:19:46 2011
New Revision: 6960
URL: http://svn.gna.org/viewcvs/service-tech?rev=6960&view=rev
Log:
* some cleanups
* added comments
* added first test cases
* improved output
* replaced ASCII art (since it was too large for make dist)
Added:
trunk/chie/tests/testfiles/test1_specification.sa
- copied unchanged from r6950, trunk/chie/tests/testfiles/test1_service.sa
Removed:
trunk/chie/tests/testfiles/test1_service.sa
Modified:
trunk/chie/AUTHORS
trunk/chie/ChangeLog
trunk/chie/NEWS
trunk/chie/README
trunk/chie/REQUIREMENTS
trunk/chie/THANKS
trunk/chie/THEORY
trunk/chie/configure.ac
trunk/chie/doc/Makefile.am
trunk/chie/src/Makefile.am
trunk/chie/src/automata.cc
trunk/chie/src/automata.h
trunk/chie/src/cmdline.ggo
trunk/chie/src/conformanceCheck.cc
trunk/chie/src/conformanceCheck.h
trunk/chie/src/main.cc
trunk/chie/src/sa-lexic.ll
trunk/chie/src/sa-syntax.yy
trunk/chie/tests/Makefile.am
trunk/chie/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.
