projects
/
pspp-builds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement model checker for testing purposes.
[pspp-builds.git]
/
src
/
language
/
tests
/
ChangeLog
diff --git
a/src/language/tests/ChangeLog
b/src/language/tests/ChangeLog
index ba09d323ae51c60bbd19c2ca7babb1142b8e31d5..45f8a5ba175fc6abedd4a0bb3f6cd6006b409e3a 100644
(file)
--- 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.
Thu Oct 26 20:19:19 2006 Ben Pfaff <blp@gnu.org>
* automake.mk: Add float-format.c.