aboutsummaryrefslogtreecommitdiff
path: root/src/interp/bits.lisp
AgeCommit message (Collapse)AuthorFilesLines
2013-05-26Define lexicographical ordering on Bits in Spaddos-reis1-55/+0
2011-06-22 * interp/g-opt.boot (optCond): Remove unreachable code. dos-reis1-9/+0
(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.
2011-01-03 * interp/g-util.boot: Expand new bit vector operators.dos-reis1-11/+1
* 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.
2010-12-10(no commit message)dos-reis1-1/+1
2007-10-13Remove more pamphletsdos-reis1-0/+2
2007-09-12 * bits.lisp: New. Import boot-pkg.dos-reis1-0/+72
* bits.lisp.pamphlet: Move content to bits.lisp. Remove. * Makefile.pamphlet (bits.$(FASLEXT)): New rule.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-12 10:47:38 +0000