diff options
author | dos-reis <gdr@axiomatics.org> | 2011-01-03 02:45:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-01-03 02:45:16 +0000 |
commit | 102fe7a6693f1aa8282890b25d634079ddc86e13 (patch) | |
tree | cb96e44f1a80f89701944df07665e0ae7225c43b /src/ChangeLog | |
parent | 2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8 (diff) | |
download | open-axiom-102fe7a6693f1aa8282890b25d634079ddc86e13.tar.gz |
* interp/g-util.boot: Expand new bit vector operators.
* interp/g-opt.boot (opt2bit): New.
(opt2bool): Likewise.
* interp/bits.lisp (BVEC-SIZE): Remove.
(BVEC-COPY): Likewise.
(BVEC-CONCAT): Likewise.
(BVEC-EQUAL): Likewise.
(BVEC-AND): Likewise.
(BVEC-OR): Likewise.
(BVEC-XOR): Likewise.
(BVEC-NAND): Likewise.
(BVEC-NOR): Likewise.
(BVEC-NOT): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Remove uses of
Lisp-level functions.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 6d9c399b..d35a3d4a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,23 @@ 2011-01-02 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-util.boot: Expand new bit vector operators. + * interp/g-opt.boot (opt2bit): New. + (opt2bool): Likewise. + * interp/bits.lisp (BVEC-SIZE): Remove. + (BVEC-COPY): Likewise. + (BVEC-CONCAT): Likewise. + (BVEC-EQUAL): Likewise. + (BVEC-AND): Likewise. + (BVEC-OR): Likewise. + (BVEC-XOR): Likewise. + (BVEC-NAND): Likewise. + (BVEC-NOR): Likewise. + (BVEC-NOT): Likewise. + * algebra/boolean.spad.pamphlet (IndexedBits): Remove uses of + Lisp-level functions. + +2011-01-02 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before value argument evaluation. (lazyMatch): Check for %llength too. |