X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ChangeLog;h=ccb1e5b42a99aa634e88a5f8e772e9b987d88464;hb=3e2bf013a731344daed7ab206d4a3c2460688208;hp=da5339d5ebbe6260d85384428a96e3f8bcabca13;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp-builds.git diff --git a/ChangeLog b/ChangeLog index da5339d5..ccb1e5b4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2007-06-14 Ben Pfaff + + * Smake: Use xmalloca instead of xallocsa due to module renaming. + Update all uses. + +2007-06-06 Ben Pfaff + + * Smake: Add xallocsa to modules. + 2007-04-22 Ben Pfaff Implement model checker for testing purposes.