src/language/tests/ChangeLog

   1 2007-04-22  Ben Pfaff  <blp@gnu.org>
   2
   3         Implement model checker for testing purposes.
   4
   5         Patch #5873.
   6
   7         * automake.mk: Add check-model.[ch].
   8
   9         * check-model.h: New file.
  10
  11         * check-model.q: New file.
  12
  13 Thu Oct 26 20:19:19 2006  Ben Pfaff  <blp@gnu.org>
  14
  15         * automake.mk: Add float-format.c.
  16
  17         * float-format.c: New file.
  18
  19 Sat Oct 14 16:21:45 2006  Ben Pfaff  <blp@gnu.org>
  20
  21         * casefile-test.c: (test_casereader_clone) Free cases that we
  22         read, to avoid memory leak.
  23
  24 Tue Jun  6 18:48:00 2006  Ben Pfaff  <blp@gnu.org>
  25
  26         * casefile-test.c: (test_casefile) Test the new casereader_seek()
  27         function.
  28
  29 Thu Mar  2 08:40:33 WST 2006 John Darrington <john@darrington.wattle.id.au>
  30
  31         * Moved files from src directory