Implement model checker for testing purposes.

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

diff --git a/src/libpspp/ChangeLog b/src/libpspp/ChangeLog
index b4575a528d570493cfda5b97bdc9c9c3489e56a1..9c3692bebfd7e18fed3dd369a2ad032dfb45fe71 100644 (file)
--- a/src/libpspp/ChangeLog
+++ b/src/libpspp/ChangeLog
@@ -1,3 +1,36 @@
+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.
+
+       * abt.c (insert_relative): New function.
+       (abt_insert_after): New function.
+       (abt_insert_before): New function.
+
+       * range-map.c: New file.
+
+       * range-map.h: New file.
+
+       * range-set.c: New file.
+
+       * range-set.h: New file.
+
+       * tower.c: New file.
+
+       * tower.h: New file.
+
 2007-04-01  Ben Pfaff  <blp@gnu.org>
 
        * bt.c: Need #include <limits.h>.  Thanks to "John McCabe-Dansted"