sbcl Log


Commit Date  
[f3f677] by Christophe Rhodes Christophe Rhodes

0.9.1.38:
Merge DFL raw-slots patch (sbcl-devel "raw slot changes"
2005-05-18)
... with an amalgam of ths' two mips versions;
... note in OPTIMIZATIONS about the negative index idea, and the
disabledness of HPPA

2005-06-12 14:02:34 Tree
[f2126a] by Christophe Rhodes Christophe Rhodes

0.9.1.37:
Maybe fix the build on alpha.
... one more WITH-FIXED-ALLOCATION problem.

2005-06-11 20:46:19 Tree
[e67cc0] by Christophe Rhodes Christophe Rhodes

0.9.1.36:
Merge THS "Branch relaxation..." sbcl-devel 2005-06-09

2005-06-10 09:24:50 Tree
[644995] by Christophe Rhodes Christophe Rhodes

0.9.1.35:
Fix PFD "Weird SBCL bug..." sbcl-devel 2005-06-09
... MORE PROGRAM-ERRORs.

2005-06-10 09:01:32 Tree
[7e8270] by Gabor Melis Gabor Melis

0.9.1.34:
* gcc 2.95: compilation fix
* killed a few innocent looking warnings in the runtime (79 to go)

2005-06-09 10:44:29 Tree
[5e4205] by Gabor Melis Gabor Melis

0.9.1.33:
* gencgc: don't flood the system with gc interrupts if not
absolutely necessary
* fix compilation on freebsd

2005-06-09 08:32:29 Tree
[658b61] by Christophe Rhodes Christophe Rhodes

0.9.1.32:
Implement direct ub32 -> float on PPC.

2005-06-08 14:10:23 Tree
[86132e] by Christophe Rhodes Christophe Rhodes

0.9.1.31:
Remove sigsetmask() calls on alpha, ppc missed out of previous
signal rearrangement
... (sb-sprof on ppc appears to work now :-)

2005-06-08 11:16:48 Tree
[1b83f8] by Juho Snellman Juho Snellman

0.9.1.30:
* Fix compile on x86-64 (popfl -> popfq).
* Declarations in a DOLIST body are also in scope for the
DOLIST return-form.
* Evaluate the ELEMENT-TYPE keyword argument to
WITH-OUTPUT-TO-STRING even in cases where the element-type is
not used (i.e. FILL-POINTER-OUTPUT-STREAM), in case it has
side-effects.
* COMPILE-FILE accepts all pathname designators as INPUT-FILE
and OUTPUT-FILE (streams weren't accepted before).

2005-06-08 10:36:17 Tree
[7cca1c] by Gabor Melis Gabor Melis

0.9.1.29:
A number of signal handling cleanup/fixes:
* fix gencgc/maybe_defer_handler race (thanks to Thiemo)
* interrupt_maybe_gc (on cheneygc platforms): check for already
pending handler before calling maybe_defer_handler in order
not to lose interrupts
* interrupt_handle_pending: check for the pending handler being
null
* run_deferred_handler: set the pending handler to null, before
calling it to guard against the handler enabling interrupts ...
* more defensiveness: enforce invariants: checks for signal masks,
interrupts
* refactoring: undoably_install_low_level_interrupt_handler wraps
blockable handlers in low_level_maybe_now_maybe_later
* don't unblock signals unconditionally in interrupt_maybe_gc_int just
restore the sigmask from the interrupted context (kludge removed)
* removed misguided sigprocmask calls from mips, hppa and sparc
sig{trap,ill} handlers
* removed non-x86 version of handle_breakpoint (interrupts are enabled
in now common handle_breakpoint)
* fixed arrange_return_to_lisp_function/post_signal_tramp to save and
restore eflags (interrupt-threads seems to work)

2005-06-08 08:49:49 Tree
[5bc505] by Juho Snellman Juho Snellman

0.9.1.28:
MORE PRETTY:

* "Oops". Change the definition of the recenctly introduced
WITH-CIRCULARITY-DETECTION macro to only include BODY once.
Otherwise code with nested PPRINT-LOGICAL-BLOCKs would
expand into ridiculous amounts of code. (The macroexpansion
of PPRINT-LAMBDA-LIST was >18000 lines).
* Return NIL from PPRINT-POP when OBJECT is NIL.
* Check for malformed LABELS/FLET/MACROLET forms in PPRINT-FLET.

Other stuff:

* Declare a more specific type for *CHARACTER-DATABASE* to
avoid going through HAIRY-DATA-VECTOR-REF. (thanks to
Christophe for noticing this)
* Add missing type predicate for VECTOR-NIL-P. (MISC.596)

2005-06-07 10:49:56 Tree
[f369c7] by Nikodemus Siivola Nikodemus Siivola

0.9.1.27: (truename "symlink-to-dir") === (truename "symlink-to-dir/")
* it appears that libc doesn't like trailing slashes at the end of symlink
names; paper over this sillyness.

2005-06-06 06:54:21 Tree
[3a2c2a] by Juho Snellman Juho Snellman

0.9.1.26:
Fix some circularity detection issues in the pretty printer.

* Move the circularity detection infrastructure into early-print.lisp.
* Do circularity checks in PPRINT-LOGICAL-BLOCK.
* Add a couple of new tests, disable an old test which is (IMHO)
invalid.

2005-06-05 11:37:01 Tree
[97106b] by Nikodemus Siivola Nikodemus Siivola

0.9.1.25: source-plist & related
* add :SOURCE-PLIST option to WITH-COMPILATION-UNIT for attaching
arbitrary source information to compiled code, accessible as
SB-INTROSPECT:DEFINITION-SOURCE-PLIST.
* COMPILED-DEBUG-INFO-SOURCE was always a list of one element, make
it just the element.
* rename DEBUG-SOURCE-INFO to DEBUG-SOURCE-FUNCTION for clarity.

Caveat updater: this breaks current Slime.

2005-06-04 09:54:42 Tree
[f6201b] by Nathan Froyd Nathan Froyd

0.9.1.24:
s/32/64/ in :NOTEs for x86-64 arithmetic vops where appropriate.

2005-06-03 13:19:48 Tree
[af260d] by Christophe Rhodes Christophe Rhodes

0.9.1.23:
Merge THS "Fix generic-/= for alpha, mips, ppc, sparc" patch
(sbcl-devel 2005-05-29)
... actually it's mostly a mips optimization, because I don't
think generic-/= can ever be emitted with the source
transforms we have at the moment.

2005-06-03 10:17:25 Tree
[d1a2a3] by Nathan Froyd Nathan Froyd

0.9.1.22:
*sigh* Correct SPECIF*I*ER-TYPE typo.

2005-06-02 14:38:54 Tree
[4a96ec] by Nathan Froyd Nathan Froyd

0.9.1.21:
* Add unsigned bounds derivers for LOGXOR, based on the ones
present in CMUCL;
* Convert existing unsigned bounds derivers to a more idiomatic
CL style, eliminating unnecessary work along the way;
* Belatedly add tests for bounds derivation.

2005-06-02 04:02:07 Tree
[a27e8d] by Nathan Froyd Nathan Froyd

0.9.1.20:
Fix typo in LOGAND-DERIVE-UNSIGNED-HIGH-BOUND (thanks to jsnell
for testing and rtoy for his CMUCL work on the same).

(Since CMUCL has essentially the same code, a future commit
will add similar derivers for LOGXOR. A more idiomatic CL
style will also be adopted.)

2005-06-01 22:31:34 Tree
[8ae1a0] by Juho Snellman Juho Snellman

0.9.1.19:
* Fix build on multiarch x86-64
* Fix small ansi-bug. The (declare (typespec var*)) abbreviation for
(declare (type typespec var*)) now works with all type specifiers.
Previously only symbols were allowed.

2005-06-01 21:30:39 Tree
[910c25] by Christophe Rhodes Christophe Rhodes

0.9.1.18:
Fix for the modular arithmetic improvement from nfroyd
... lognot is unary :-)
... (I don't have _Hacker's Delight_, so I guessed what was
meant).

2005-06-01 14:46:24 Tree
[d2561c] by Nathan Froyd Nathan Froyd

0.9.1.17:
Disable bit-bashing transforms on (VECTOR NIL).

2005-06-01 14:06:49 Tree
[0fe552] by Christophe Rhodes Christophe Rhodes

0.9.1.16:
Implement SOCKET-OPEN-P mostly per Tony Martinez sbcl-devel
2004-10-23.
... add a test or two for it, which look a bit weird to me
but what do I know?

2005-06-01 13:59:02 Tree
[b9bcc1] by Nathan Froyd Nathan Froyd

0.9.1.15:
Improve modular arithmetic by:
* Making bounds of (unsigned) modular function type derivation
more precise;
* Being less pessimistic when deriving bounds for LOGAND in
the case when its arguments are known to be bounded and
unsigned. As a bonus, LOGIOR type derivation in the same
case is now more precise as well.

The upshot of all this is that a function like:

(defun foo (x y)
(declare (type (integer 0 3) x y))
(mod (- (+ x 4) y) 4))

now uses only fixnum arithmetic.

2005-06-01 13:41:40 Tree
[157e71] by Christophe Rhodes Christophe Rhodes

0.9.1.14:
Fix the canonicalized default initarg protocol
... (KEY FORM FUN) rather than (KEY FUN FORM).

I hope this isn't too painful for anyone out there.

2005-06-01 13:19:36 Tree
Older >