X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ChangeLog;h=2bfa3441c35f072ab6e38af361c9e50edc486038;hb=92c09e564002d356d20fc1e2e131027ef89f6748;hp=da5339d5ebbe6260d85384428a96e3f8bcabca13;hpb=661b9ee29cbb6b89c4ea53a05b8a4eb3a5028de0;p=pspp-builds.git diff --git a/ChangeLog b/ChangeLog index da5339d5..2bfa3441 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2007-06-06 Ben Pfaff + + * Smake: Add xallocsa to modules. + 2007-04-22 Ben Pfaff Implement model checker for testing purposes.