diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-04 23:34:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-04 23:34:39 +0000 |
commit | dd16b47e4904b1839b2918cf5b38c352979a6141 (patch) | |
tree | 11760b4462d02b64729ed30b0d0bb2150d4c59f3 /src/ChangeLog | |
parent | 03ab6db167d40e2448dee7de702dc77a62e57617 (diff) | |
download | open-axiom-dd16b47e4904b1839b2918cf5b38c352979a6141.tar.gz |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp
level operators. Include %property and %bitveclt.
* interp/lisp-backend.boot: Expand them.
* algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?.
* algebra/domain.spad.pamphlet (DomainConstructo): Use %property.
* algebra/outform.spad.pamphlet (OutputForm): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 1195c82a..c3ae3d8c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,13 @@ +2011-02-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp + level operators. Include %property and %bitveclt. + * interp/lisp-backend.boot: Expand them. + * algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?. + * algebra/domain.spad.pamphlet (DomainConstructo): Use %property. + * algebra/outform.spad.pamphlet (OutputForm): Likewise. + * algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt. + 2011-02-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/c-util.boot (mutateConditionalFormWithUnaryFunction): |