Skip to content
Commits on Oct 21, 2012
  1. commit again

    committed Oct 21, 2012
  2. fdtests work

    committed Oct 21, 2012
Commits on Mar 14, 2012
  1. moved miniKanren.scm and removed an extra space

    William Byrd committed Mar 14, 2012
  2. updated cKanren to work as an external library

    William Byrd committed Mar 14, 2012
Commits on Mar 3, 2012
  1. @calvis
  2. @calvis

    Procedure name changes

    calvis committed Mar 3, 2012
  3. @calvis
Commits on Mar 2, 2012
  1. @calvis
  2. @calvis
  3. @calvis
  4. @calvis
  5. @calvis

    Moving the finite domain procedures out of fd in preparation for swit…

    …ching to interval domains
    calvis committed Mar 2, 2012
Commits on Mar 1, 2012
  1. @calvis
  2. @calvis
Commits on Jan 28, 2012
  1. @calvis

    Added the tracing macro

    calvis committed Jan 28, 2012
Commits on Jan 20, 2012
  1. @calvis
  2. @calvis

    Added a reify fn to allowed

    calvis committed Jan 20, 2012
  3. @calvis
  4. @calvis
Commits on Jan 12, 2012
  1. @calvis
  2. @calvis
  3. @calvis
Commits on Jan 11, 2012
  1. @eholk
  2. @eholk

    Cout doesn't seem to quite be the same as printf. I think printf is w…

    …hat's intended here.
    eholk committed Jan 11, 2012
  3. @acfoltzer
  4. @calvis

    Switched update-s to the version that doesn't check safety. Don't wri…

    …te any bad constraints
    calvis committed Jan 10, 2012
Commits on Jan 10, 2012
  1. @calvis
  2. @calvis

    Small fixes

    calvis committed Jan 9, 2012
Commits on Dec 21, 2011
  1. @calvis
  2. @calvis

    Reorganized

    calvis committed Dec 21, 2011
  3. @calvis

    Consolidated the testing macros

    calvis committed Dec 21, 2011
  4. @calvis
Commits on Dec 20, 2011
  1. @calvis

    Reorganizing some files

    calvis committed Dec 20, 2011
  2. @calvis

    Changes from the IU repository

    calvis committed Dec 20, 2011
Something went wrong with that request. Please try again.