Age | Commit message (Collapse) | Author | Files | Lines |
|
(opt2bit): Tidy.
(opt2bool): Likewise.
* interp/bits.lisp (TRUTH-TO-BIT): Remove.
(BIT-TO-TRUTH): Likewise.
(BVEC-MAKE-FULL): Likewise.
(BVEC-ELT): Likewise.
(BVEC-SETELT): Likewise.
|
|
* 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.
|
|
|
|
|
|
* bits.lisp.pamphlet: Move content to bits.lisp. Remove.
* Makefile.pamphlet (bits.$(FASLEXT)): New rule.
|