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/input/wutset.input.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/input/wutset.input.pamphlet')
0 files changed, 0 insertions, 0 deletions