X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2FChangeLog;h=45f8a5ba175fc6abedd4a0bb3f6cd6006b409e3a;hb=5060fdedfe17e843301ac0c738e12488af467378;hp=ba09d323ae51c60bbd19c2ca7babb1142b8e31d5;hpb=41a3a550334da96a9b4e5e089ad1768acf288092;p=pspp-builds.git

diff --git a/src/language/tests/ChangeLog b/src/language/tests/ChangeLog
index ba09d323..45f8a5ba 100644
--- a/src/language/tests/ChangeLog
+++ b/src/language/tests/ChangeLog
@@ -1,3 +1,15 @@
+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.