Author: niels Date: Sun Nov 2 19:53:12 2008 New Revision: 3564 URL: http://svn.gna.org/viewcvs/service-tech?rev=3564&view=rev Log: Rachel Version 1.11 ===================
* implemented Fiona's modified OG file format (an OG file now also consists of an interface definition) and adjusted the respective test cases -- note that Rachel's parser is backwards compatible and still accepts OG files without interface definition * renamed configure script parameter `--enable-use64bit' to `--enable-64bit' to achieve parameter compatibility with Fiona * explicitly handling the disabling of assertions (with parameter `--disable-assert') similar to Fiona's configure script * canonized names of constants generated for file `src/config.h' and adjusted the output of the `--bug' parameter * removed unnecessary files `src/getopt.c', `src/getopt1.c', and `src/getopt.h' * used option `gnits' for Automake, see `http://www.gnu.org/software/automake/manual/automake.html#Gnits' * moved acknowledgements from file `AUTHOR' to file `THANKS' to meet the strict Gnits requirements * updated documentation * the configure script now takes care about the compilation flags; for example `./configure --enable-64bit' sets the flags necessary to build a 64 bit executable with `make' * adapted code to avoid warnings of GCC 4.2 (mostly deprecation warnings) * overworked test scripts: creation of output files is checked now * simplified header inclusion: all typedefs are now made in `types.h' * added a command line parameter `--threshold'/`-t' to set a threshold to control the matching algorithm: whenever a formula's assignment reaches this value, it is immediately returned instead of the optimum; this results in faster, yet sub-optimal results Added: trunk/rachel/tests/test-matching-threshold (with props) Modified: trunk/rachel/ChangeLog trunk/rachel/NEWS trunk/rachel/configure.ac trunk/rachel/doc/ChangeLog.texi trunk/rachel/src/Matching.cc trunk/rachel/src/cmdline.ggo trunk/rachel/src/rachel.conf trunk/rachel/tests/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.
