aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-12-13 12:24:26 +0000
committerdos-reis <gdr@axiomatics.org>2011-12-13 12:24:26 +0000
commitbf49bd60354641b393c53e10b40862199fd31151 (patch)
tree7978cb5b60d70931bdbca5eb49387d83931ef72b /src/ChangeLog
parent2b67e7c6078a1fe400bcac82fd5b071cee643f8f (diff)
downloadopen-axiom-bf49bd60354641b393c53e10b40862199fd31151.tar.gz
* interp/g-opt.boot (removeJunk!): Rename from removeSeq!
(cancelScopeLeave!): New. (inlineLocals!): Tidy. (optimize!): Run cancelScopeLeave! right after removeJunk!.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 2a2a5186..bbab7ecb 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2011-12-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/g-opt.boot (removeJunk!): Rename from removeSeq!
+ (cancelScopeLeave!): New.
+ (inlineLocals!): Tidy.
+ (optimize!): Run cancelScopeLeave! right after removeJunk!.
+
2011-12-12 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/g-opt.boot: Rework. Schedule conditional splitting