Skip to content
Commits on Jan 16, 2013
  1. [maven-release-plugin] prepare release core.logic-0.8.0-rc2

    Hudson @ build.clojure.org committed Jan 16, 2013
  2. @swannodette
  3. @swannodette

    remove typo

    swannodette committed Jan 16, 2013
  4. @swannodette

    fix some typos in bench.clj

    swannodette committed Jan 16, 2013
  5. @swannodette

    move CLP(FD) work into it's own namespace

    CLP(FD) now resides in it's own namespace with exception of a few
    remaining complected bits. Updated tests and benchmarks. All tests pass.
    swannodette committed Jan 15, 2013
Commits on Jan 15, 2013
  1. @swannodette
Commits on Jan 14, 2013
  1. @swannodette

    tidy up protocol references, type/interface references, & namespaced

    keywords in nominal.clj.
    swannodette committed Jan 13, 2013
  2. @swannodette

    make `IEnforceableConstraint` a marker interface

    And remove yucky extension of `IEnforceableConstraint` to `Object`.
    
    Related clean up references to types and interfaces defined in
    logic.clj.
    swannodette committed Jan 13, 2013
  3. @swannodette

    remove explicit constraint id management

    remove all explicity constraint id management. A minor performance
    hit. The fast path is still available for those that need it.
    
    fix `-featurec`, wasn't wrapping fs argument in a partial map.
    
    fix affected tests. bring back purge test.
    swannodette committed Jan 13, 2013
  4. @swannodette

    remove `FDConstraint`

    Remove `FDConstraint` wrapper type. This mostly meant that the fd
    constraints needed to implement `IEnforceableConstraint` and
    `IConstraintWatchedStores`, most already implemented `IRunnable` of
    course.
    
    Add `id` and `with-id` fns which delegate to `-id` and `-with-id` if
    the constraint implements them. This is prep to see if we can remove
    those protocol fns without taking a performance hit. This would
    simplify constraint definition and leave the door open for variadic
    constraints - currently the final argument must be taken by the
    constraint id.
    swannodette committed Jan 13, 2013
Commits on Jan 13, 2013
  1. @swannodette
Commits on Jan 11, 2013
  1. @namin @swannodette
  2. @swannodette

    `root-var` not needed

    swannodette committed Jan 11, 2013
  3. @namin @swannodette
  4. @swannodette

    add test for LOGIC-103

    swannodette committed Jan 10, 2013
Commits on Jan 10, 2013
  1. @swannodette

    LOGIC-103: another `<=fd` non-termination bug

    Add supporting fns `interval-<=` and `interval->=`. Remove silly logic
    from `<=fdc` implementation, just use `interval-<=`.
    swannodette committed Jan 10, 2013
Commits on Jan 9, 2013
  1. @swannodette

    typo

    swannodette committed Jan 9, 2013
  2. @swannodette
  3. @swannodette
Commits on Jan 8, 2013
  1. @swannodette

    update experimental Datomic support

    Support unification of PersistentVector with datomic.Datom
    swannodette committed Jan 8, 2013
  2. @swannodette

    break out `unify-with-sequential*`

    This is so we can reuse it in the experimental Datomic namespace.
    swannodette committed Jan 8, 2013
  3. @swannodette

    typo

    swannodette committed Jan 7, 2013
  4. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed Jan 7, 2013
  5. [maven-release-plugin] prepare release core.logic-0.8.0-rc1

    Hudson @ build.clojure.org committed Jan 7, 2013
  6. @swannodette
  7. @namin @swannodette

    LOGIC-102: nom/hash tweaks.

    namin committed with swannodette Jan 7, 2013
Commits on Jan 7, 2013
  1. @namin @swannodette

    LOGIC-100

    namin committed with swannodette Jan 7, 2013
  2. @namin @swannodette

    LOGIC-101

    namin committed with swannodette Jan 7, 2013
Commits on Jan 5, 2013
  1. @swannodette

    Add `seqc` constraint

    swannodette committed Jan 5, 2013
Commits on Jan 4, 2013
  1. @namin @swannodette
  2. @namin @swannodette

    LOGIC-95: fix some issues with disequality.

    1. -relevant-var? is broken for !=c because it compares vars that have
       been rooted with vars that haven't been, when called from udpatec.
    
    2. Because of nested vars, we need to go deeper when recovering vars,
       and only compare ground terms with not= when invoking a !=c
       constraint.
    
    TODO: for 1, we need to rethink how to maintain the constraint map in
    face of constraints that change the associations between vars and
    constraints.
    namin committed with swannodette Jan 4, 2013
Commits on Jan 3, 2013
  1. @swannodette

    remove stale comment

    swannodette committed Jan 2, 2013
  2. @swannodette

    LOGIC-53: core.logic converts defrecords

    records must extend `IUninitialized`. They always trump maps.
    swannodette committed Jan 2, 2013
  3. @swannodette

    clean up disequality reification, test for reification of disequality

    constraints even if constraints vars don't appear in the answer term.
    swannodette committed Jan 2, 2013
  4. @swannodette

    LOGIC-88: disequality reification is broken

    Was not emitting the entire prefix was all.
    swannodette committed Jan 2, 2013
Something went wrong with that request. Please try again.