aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog12
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.