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/algebra/expr.spad.pamphlet | |
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/algebra/expr.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions