User Activity

  • Committed [1f7700] on sbcl

    numeric-contagion-constraint-back: better float contagion.

  • Committed [ef8183] on sbcl

    Derive that m is integer after (integerp (* m m)).

  • Committed [5577fa] on sbcl

    truncate constraint-propagate-back: handle negative divisors.

  • Committed [1a34aa] on sbcl

    Propagate (nth-value 1 truncate)+typep.

  • Committed [c92f0f] on sbcl

    Propagate unary-truncate+typep.

  • Committed [37db64] on sbcl

    Propagate typep for integer truncate.

  • Committed [f979e2] on sbcl

    Unexport sb-posix:posix-fork.

  • Committed [62f236] on sbcl

    Chain multiple constraint-propagate-back together.

View All

Personal Data

Username:
stassats
Joined:
2005-08-23 23:25:33

Projects

This is a list of open source software projects that stassats is associated with:

Personal Tools