diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-22 16:15:30 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 16:15:30 +0000 |
| commit | 510c2f70ce377d60eed221e46294767f7f548f5d (patch) | |
| tree | db7b49602660346425298790df1ffcb9ad5f7c26 /src/ChangeLog | |
| parent | c1da0d2561b27741a6feb73336b0712f5ddc7e97 (diff) | |
| download | open-axiom-510c2f70ce377d60eed221e46294767f7f548f5d.tar.gz | |
* interp/g-opt.boot (simplifyVMForm): New.
(optRetract): Simplify the predicate when possible.
(optNot): New transformer.
(optAnd): Likewise.
(optOr): Likewise.
(optIlt): Likewise.
(optIle): Likewise.
(optIgt): Likewise.
(optIge): Likewise.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 953e5257..accd5363 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,15 @@ +2010-07-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/g-opt.boot (simplifyVMForm): New. + (optRetract): Simplify the predicate when possible. + (optNot): New transformer. + (optAnd): Likewise. + (optOr): Likewise. + (optIlt): Likewise. + (optIle): Likewise. + (optIgt): Likewise. + (optIge): Likewise. + 2010-07-21 Gabriel Dos Reis <gdr@cse.tamu.edu> * algebra/data.spad.pamphlet (Byte) [~]: Tidy. |