Implement model checker for testing purposes.
[pspp-builds.git] / src / libpspp / ChangeLog
index 8e197d991b1289f84a78284c7764658d0c506240..9c3692bebfd7e18fed3dd369a2ad032dfb45fe71 100644 (file)
@@ -1,3 +1,146 @@
+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"
+       <gmatht@gmail.com> for pointing this out.
+
+2007-03-31  Ben Pfaff  <blp@gnu.org>
+
+       Patch #5827.
+
+       * automake.mk (src_libpspp_libpspp_a_SOURCES): Add bt.c.
+
+       * bt.h: New file.
+
+       * bt.c: New file.
+
+2007-03-30  Ben Pfaff  <blp@gnu.org>
+
+       Patch #5829.
+
+       * automake.mk (src_libpspp_libpspp_a_SOURCES): Add deque.c.
+
+       * deque.h: Completely rewrote.  Adapted client to new interface.
+
+       * deque.c: New file.
+
+2007-03-25  Ben Pfaff  <blp@gnu.org>
+
+       * automake.mk (src_libpspp_libpspp_a_SOURCES): Add
+       sparse-array.[ch].
+
+       * pool.c (pool_zalloc): New function.
+       (pool_calloc): New function.
+
+       * sparse-array.c: New file.
+
+       * sparse-array.h: New file.
+
+Mon Mar  5 20:55:49 CET 2007 John Darrington <john@darrington.wattle.id.au>
+
+       * i18n.c: Cast second argument of iconv using ICONV_CONST
+
+2007-02-22  Ben Pfaff  <blp@gnu.org>
+
+       * string.h: Don't include vsnprintf.h any more, because gnulib has
+       now absorbed it into string.h.
+
+Thu Feb 22 12:25:52 CET 2007 John Darrington <john@darrington.wattle.id.au>
+
+       * syntax-gen.h syntax-gen.c: New files.
+
+Sun Feb 18 11:21:41 2007  Ben Pfaff  <blp@gnu.org>
+
+       * alloc.h: Remove useless parentheses in #if "defined" operator.
+
+       * misc.h: Ditto.
+
+Tue Feb  6 20:00:13 2007  Ben Pfaff  <blp@gnu.org>
+
+       * misc.h [!HAVE_ISINF] (isinf): Define only if isinf is not
+       defined as a macro, because mingw seems to have the macro without
+       the function.
+       [!HAVE_ISNAN] (isnan): Ditto, for symmetry only.
+       [!AHVE_FINITE] (finite): Ditto, for symmetry only.
+
+Tue Feb  6 19:58:46 2007  Ben Pfaff  <blp@gnu.org>
+
+       * compiler.h (PRINTF_FORMAT): Use __printf__ instead of printf to
+       avoid problem with "#define printf libintl_printf" that libintl is
+       fond of doing.
+       (SCANF_FORMAT): Ditto, for symmetry only.
+
+Tue Feb  6 19:47:10 2007  Ben Pfaff  <blp@gnu.org>
+
+       * float-format.h: [FPREP_IEEE754] [WORDS_BIGENDIAN] Add missing
+       comma.
+
+Wed Jan 24 21:13:32 2007  Ben Pfaff  <blp@gnu.org>
+
+       * abt.c: New file.
+
+       * abt.h: New file.
+
+       * automake.mk: Add abt.c, abt.h to sources.
+
+Sun Jan 14 21:44:18 2007  Ben Pfaff  <blp@gnu.org>
+
+       * automake.mk: Add deque.h to sources.
+       
+       * deque.h: New file.
+
+Wed Jan 10 06:49:38 2007  Ben Pfaff  <blp@gnu.org>
+
+       * automake.mk: Add heap.c, heap.h to sources.
+
+       * heap.c: New file.
+
+       * heap.h: New file.
+
+Sun Dec 10 13:54:03 2006  Ben Pfaff  <blp@gnu.org>
+
+       * str.c (ss_tokenize): Skip the first delimiter character
+       following the token.  Otherwise, changing delimiters from token to
+       token can't have a sensible effect, because we'll get the previous
+       delimiter as part of the next token.
+       (ss_match_string): New function.
+
+Sat Dec  9 18:48:55 2006  Ben Pfaff  <blp@gnu.org>
+
+       * misc.h (macro range): Removed, as it was unused.
+
 Sat Dec  9 07:19:01 WST 2006 John Darrington <john@darrington.wattle.id.au>
 
        * array.c: Removed gratuitous #include