Implement model checker for testing purposes.

[pspp-builds.git] / src / libpspp / ChangeLog

diff --git a/src/libpspp/ChangeLog b/src/libpspp/ChangeLog
index ca06aea9b05f5641204719c3f657a406152b80d7..9c3692bebfd7e18fed3dd369a2ad032dfb45fe71 100644 (file)
--- a/src/libpspp/ChangeLog
+++ b/src/libpspp/ChangeLog
@@ -1,3 +1,16 @@
+2007-04-22  Ben Pfaff  <blp@gnu.org>
+
+       Implement model checker for testing purposes.
+
+       Patch #5873.
+       
+       * automake.mk (src_libpspp_libpspp_a_SOURCES): Add
+       model-checker.[ch].  Alphabetize.
+
+       * model-checker.c: New file.
+
+       * model-checker.h: New file.
+
 2007-04-03  Ben Pfaff  <blp@gnu.org>
 
        Apply patches #5828, #5837, #5841, #5843.