Implement model checker for testing purposes.

[pspp-builds.git] / src / language / tests / ChangeLog

diff --git a/src/language/tests/ChangeLog b/src/language/tests/ChangeLog
index 80c27c0d983d9925c82b2e8028fcf435ac635e76..45f8a5ba175fc6abedd4a0bb3f6cd6006b409e3a 100644 (file)
--- a/src/language/tests/ChangeLog
+++ b/src/language/tests/ChangeLog
@@ -1,3 +1,26 @@
+2007-04-22  Ben Pfaff  <blp@gnu.org>
+
+       Implement model checker for testing purposes.
+       
+       Patch #5873.
+       
+       * automake.mk: Add check-model.[ch].
+
+       * check-model.h: New file.
+
+       * check-model.q: New file.
+
+Thu Oct 26 20:19:19 2006  Ben Pfaff  <blp@gnu.org>
+
+       * automake.mk: Add float-format.c.
+
+       * float-format.c: New file.
+
+Sat Oct 14 16:21:45 2006  Ben Pfaff  <blp@gnu.org>
+
+       * casefile-test.c: (test_casereader_clone) Free cases that we
+       read, to avoid memory leak.
+
 Tue Jun  6 18:48:00 2006  Ben Pfaff  <blp@gnu.org>
 
        * casefile-test.c: (test_casefile) Test the new casereader_seek()