diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-06-22 09:30:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-06-22 09:30:45 +0000 |
| commit | 0ce3502a3677bfb4fb58c664b7ae00d530e5bacf (patch) | |
| tree | e09c4b162edfb242847aa7f65c0e92fa9e8babad /src/ChangeLog | |
| parent | 8b45d02f8f861fe0eab071ccbfcf5ef8bd6593d6 (diff) | |
| download | open-axiom-0ce3502a3677bfb4fb58c664b7ae00d530e5bacf.tar.gz | |
* interp/g-opt.boot (optCond): Remove unreachable code.
(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.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index c0e20a55..297b9991 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,14 @@ +2011-06-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/g-opt.boot (optCond): Remove unreachable code. + (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-06-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/Makefile.in (OBJS): Remove foam_l.$(FASLEXT), $(ASCOMP). |