X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2FChangeLog;h=295c5418392699daf026e5ebb60f0fd26e263570;hb=e0d0265ba2c4c74d3f7c57a33a18014bd82c8d27;hp=4a96aeb941a9479876c7386203e97d30fc102f8b;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/language/tests/ChangeLog b/src/language/tests/ChangeLog
index 4a96aeb941..295c541839 100644
--- a/src/language/tests/ChangeLog
+++ b/src/language/tests/ChangeLog
@@ -1,3 +1,37 @@
+2007-06-06  Ben Pfaff  <blp@gnu.org>
+
+	* automake.mk: Add new file.
+
+	* datasheet-test.c: New file.
+
+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()
+	function.
+
 Thu Mar  2 08:40:33 WST 2006 John Darrington <john@darrington.wattle.id.au>
 	
 	* Moved files from src directory