diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-12 01:11:29 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-12 01:11:29 +0000 |
commit | 0ac37df817059cca37fd38f0512f3f6f3e269833 (patch) | |
tree | 3a66e9648606e5f4b88d95361061fd3a27077a81 /src/ChangeLog | |
parent | f80c643a39ac6a3870e6a3b7cc967b8e6a3d0915 (diff) | |
download | open-axiom-0ac37df817059cca37fd38f0512f3f6f3e269833.tar.gz |
* interp/g-opt.boot (changeVariableDefinitionToStore): Tidy.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 339c91ac..e67ca95e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2011-02-11 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-opt.boot (changeVariableDefinitionToStore): Tidy. + +2011-02-11 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-opt.boot (dependentVars): New. (canInlineVarDefinition): Use it to safely inline vardefs. |