GitHub / clojure/core.logic / commits
A logic programming library for Clojure & ClojureScript
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| 326101fc | update for release | Alex Miller <a****r@c****m> | 8 months ago | |
| c897d5f9 | [maven-release-plugin] prepare release v1.1.1 | clojure-build <c****d@u****m> | 8 months ago | |
| 5bc414b2 | [maven-release-plugin] prepare for next development iteration | clojure-build <c****d@u****m> | 8 months ago | |
| 1921195a | update to latest parent pom | Alex Miller <a****r@c****m> | 8 months ago | |
| 3ad493b0 | update permissions in workflows | Alex Miller <a****r@c****m> | 8 months ago | |
| f843a2bd | update to new parent pom | Alex Miller <a****r@c****m> | over 1 year ago | |
| f41b8847 | update for release | Alex Miller <a****r@c****m> | over 2 years ago | |
| aecc18b3 | [maven-release-plugin] prepare for next development iteration | clojure-build <c****d@u****m> | over 2 years ago | |
| a489bb3b | [maven-release-plugin] prepare release v1.1.0 | clojure-build <c****d@u****m> | over 2 years ago | |
| 863ec383 | merge Merge remote-tracking branch 'refs/remotes/origin/master' | Alex Miller <a****r@c****m> | over 2 years ago | |
| 325997af | update parent pom | Alex Miller <a****r@c****m> | over 2 years ago | |
| 5b2cb71a | Added github action to build api docs | JarrodCTaylor <j****d@f****m> | about 3 years ago | |
| 56e928be | add actions | Alex Miller <a****r@c****m> | over 3 years ago | |
| 4539aef5 | merge Merge remote-tracking branch 'refs/remotes/origin/master' | Alex Miller <a****r@c****m> | over 4 years ago | |
| 143bb6cd | update for release | Alex Miller <a****r@c****m> | over 4 years ago | |
| d854548a | [maven-release-plugin] prepare release v1.0.1 | Clojure Build <c****d@c****m> | over 4 years ago | |
| a165123c | [maven-release-plugin] prepare for next development iteration | Clojure Build <c****d@c****m> | over 4 years ago | |
| eba8d039 | update changelog | Alex Miller <a****r@c****m> | over 4 years ago | |
| 01e0ed68 | remove indexed? warning in cljs impl | Alex Miller <a****r@c****m> | over 4 years ago | |
| 61c21be7 | remove duplicate not-found definition | Alex Miller <a****r@c****m> | over 4 years ago | |
| 115a9925 | fix docstring for appendo | Alex Miller <a****r@c****m> | almost 5 years ago | |
| 4e3f2a22 | add pr template | Alex Miller <a****r@c****m> | almost 5 years ago | |
| 5d197822 | fix link for miniKanren paper | Alex Miller <a****r@c****m> | about 5 years ago | |
| 4a8e286d | update parent pom version to latest | Alex Miller <a****r@c****m> | over 5 years ago | |
| 01c0310b | fix old jira link | Alex Miller <a****r@c****m> | over 5 years ago | |
| 3f8eb4a8 | use clojure.version property for CI | Alex Miller <a****r@c****m> | over 5 years ago | |
| e50172a2 | add copyright statement to src files | Alex Miller <a****r@c****m> | almost 6 years ago | |
| e8012102 | Add CLI/deps.edn information |
Sean Corfield <s****n@c****g>
Committed by: GitHub <n****y@g****m> |
almost 6 years ago | |
| db627045 | add LICENSE text file | Alex Miller <a****r@c****m> | about 6 years ago | |
| d42c396c | fix link | Alex Miller <a****r@c****m> | over 6 years ago | |
| 4f6f7262 | update for release | Alex Miller <a****r@c****m> | over 6 years ago | |
| bd10e5e2 | [maven-release-plugin] prepare for next development iteration | Hudson @ build.clojure.org <b****d@c****m> | over 6 years ago | |
| f669b168 | [maven-release-plugin] prepare release core.logic-1.0.0 | Hudson @ build.clojure.org <b****d@c****m> | over 6 years ago | |
| d3538d07 | update jira link | Alex Miller <a****r@c****m> | over 6 years ago | |
| 75d815aa | refresh readme links | Alex Miller <a****r@c****m> | over 6 years ago | |
| c53b67a4 | update for release | Alex Miller <a****r@c****m> | over 6 years ago | |
| 2bdfe514 | [maven-release-plugin] prepare release core.logic-0.8.12 | Hudson @ build.clojure.org <b****d@c****m> | over 6 years ago | |
| eced3f3c | [maven-release-plugin] prepare for next development iteration | Hudson @ build.clojure.org <b****d@c****m> | over 6 years ago | |
| 3b63f430 | update project.clj | Alex Miller <a****r@c****m> | almost 7 years ago | |
| bd325069 | update broken reference link |
Nada Amin <n****n@a****u>
Committed by: GitHub <n****y@g****m> |
almost 7 years ago | |
| 0be8e959 | Update links in CONTRIBUTING.md | Sean Corfield <s****n@c****g> | over 7 years ago | |
| 10ee95eb | LOGIC-184: Exclude indexed? in pldb. |
Michael Fogleman <m****n@g****m>
Committed by: dnolen <d****n@c****m> |
about 9 years ago | |
| 44cf5a70 | fix typo | puredanger <a****r@c****m> | about 9 years ago | |
| a7fc934d | Update parent pom |
Alex Miller <a****x@p****m>
Committed by: GitHub <n****y@g****m> |
over 9 years ago | |
| 4da34bf8 | Fix project name |
Alex Miller <a****x@p****m>
Committed by: GitHub <n****y@g****m> |
over 9 years ago | |
| 4e6ae5cb | Update parent pom version |
Alex Miller <a****x@p****m>
Committed by: GitHub <n****y@g****m> |
over 9 years ago | |
| da4cb7d9 | merge Merge branch 'master' of github.com:clojure/core.logic | puredanger <a****r@c****m> | almost 10 years ago | |
| 21da178b | update for 0.8.11 | puredanger <a****r@c****m> | almost 10 years ago | |
| 2a1b8677 | [maven-release-plugin] prepare release core.logic-0.8.11 | Hudson @ build.clojure.org <b****d@c****m> | almost 10 years ago | |
| 5db1fb4a | [maven-release-plugin] prepare for next development iteration | Hudson @ build.clojure.org <b****d@c****m> | almost 10 years ago | |
| 29917372 | Fix macro that creates fn with qualified name. | puredanger <a****r@c****m> | almost 10 years ago | |
| 4b576599 | tweak builds | dnolen <d****n@c****m> | almost 11 years ago | |
| 1c4020f6 | bump cljsbuild add :clean-targets | dnolen <d****n@c****m> | about 11 years ago | |
| 29a46db8 | just comment out bogus failing test under 1.7.0, bump Clojure & ClojureScript... | dnolen <d****n@c****m> | about 11 years ago | |
| d3018b62 | tweak | dnolen <d****n@c****m> | over 11 years ago | |
| 0e944fd5 | reorg README | dnolen <d****n@c****m> | over 11 years ago | |
| 93c3a057 | bump cljsbuild | dnolen <d****n@c****m> | over 11 years ago | |
| ae45a2c6 | 0.8.10 | David Nolen <d****n@g****m> | over 11 years ago | |
| c1b0c03c | [maven-release-plugin] prepare for next development iteration | Hudson @ build.clojure.org <b****d@c****m> | over 11 years ago | |
| 96764eb9 | [maven-release-plugin] prepare release core.logic-0.8.10 | Hudson @ build.clojure.org <b****d@c****m> | over 11 years ago | |
| f3f2b4c6 | Add functional disjunction/conjunction operators. |
Alan Malloy <a****n@m****g>
Committed by: David Nolen <d****n@g****m> |
over 11 years ago | |
| 0989152f | macro inference | David Nolen <d****n@g****m> | over 11 years ago | |
| cdde428b | ignores, update YourKit | David Nolen <d****n@g****m> | over 11 years ago | |
| 0e2043ce | convert tests to cljs.test | David Nolen <d****n@g****m> | over 11 years ago | |
| 44d6350e | merge Merge branch 'master' of github.com:clojure/core.logic | David Nolen <d****n@g****m> | over 11 years ago | |
| 4a37f4a3 | breaking changing, `cljs/core/logic/macros.clj` -> | David Nolen <d****n@g****m> | over 11 years ago | |
| 37587480 | port LOGIC-163 to ClojureScript pldb | David Nolen <d****n@g****m> | almost 12 years ago | |
| 8e579c12 | add ns separator | dnolen <d****n@c****m> | almost 12 years ago | |
| 4f23f6b9 | Namespace qualify pldb relations |
arrdem <m****e@a****m>
Committed by: dnolen <d****n@c****m> |
almost 12 years ago | |
| 38e5917e | [maven-release-plugin] prepare release core.logic-0.8.9 | Hudson @ build.clojure.org <b****d@c****m> | almost 12 years ago | |
| 2d089946 | [maven-release-plugin] prepare for next development iteration | Hudson @ build.clojure.org <b****d@c****m> | almost 12 years ago | |
| 719c23f8 | LOGIC-161: negative values should never appear in intervals | dnolen <d****n@c****m> | almost 12 years ago | |
| 36d4e030 | cleanup project.clj | dnolen <d****n@c****m> | almost 12 years ago | |
| d581272b | bump CLJS | dnolen <d****n@c****m> | almost 12 years ago | |
| 3685a61b | bump | dnolen <d****n@c****m> | about 12 years ago | |
| fa9451ed | Change defnm to add :arglists metadata to defined var |
Tobias Kortkamp <t****p@g****m>
Committed by: dnolen <d****n@c****m> |
about 12 years ago | |
| 0fe99f3f | merge Merge branch 'master' of github.com:clojure/core.logic | David Nolen <d****n@c****m> | about 12 years ago | |
| 37564f6b | update for 0.8.8 | David Nolen <d****n@c****m> | about 12 years ago | |
| fe738654 | [maven-release-plugin] prepare release core.logic-0.8.8 | Hudson @ build.clojure.org <b****d@c****m> | about 12 years ago | |
| 42ef2c42 | [maven-release-plugin] prepare for next development iteration | Hudson @ build.clojure.org <b****d@c****m> | about 12 years ago | |
| 0a68d7a6 | do not make pair private | David Nolen <d****n@c****m> | about 12 years ago | |
| 5221af81 | LOGIC-160: Disequality on pairs not respected | David Nolen <d****n@c****m> | about 12 years ago | |
| 5de847d4 | bump deps | David Nolen <d****n@c****m> | about 12 years ago | |
| 9ec9ae7b | add cider-nrepl dev dep | David Nolen <d****n@c****m> | about 12 years ago | |
| 536848d0 | update deps, update zebrao iters | David Nolen <d****n@c****m> | about 12 years ago | |
| 50b8fc3f | remove unused protocol, condp == -> case, formatting | David Nolen <d****n@D****l> | over 12 years ago | |
| 0bde5c9c | remove *occurs-check* dynamic var, use metadata approach instead | David Nolen <d****n@D****l> | over 12 years ago | |
| 11952a1d | update project.clj, tweak tests | David Nolen <d****n@g****m> | over 12 years ago | |
| 211abca6 | tail of Choice needs to be -inc | David Nolen <d****n@g****m> | over 12 years ago | |
| c8329fc0 | need to remove failed unifications | David Nolen <d****n@g****m> | over 12 years ago | |
| 3ad8208f | formatting | David Nolen <d****n@g****m> | over 12 years ago | |
| ee07b1ab | fix some obvious pldb bugs | David Nolen <d****n@g****m> | over 12 years ago | |
| 6e2eabb1 | merge Merge branch 'master' of github.com:clojure/core.logic | David Nolen <d****n@g****m> | over 12 years ago | |
| 10f80c27 | fix some typos | David Nolen <d****n@g****m> | over 12 years ago | |
| 688aa296 | Add CONTRIBUTING.md | Sean Corfield <s****n@c****g> | over 12 years ago | |
| 0eab7c1d | cljs.core.logic pldb wip | David Nolen <d****n@g****m> | over 12 years ago | |
| ac1e12f6 | align run cljs.core.logic macros with clojure.core.logic | David Nolen <d****n@g****m> | over 12 years ago | |
| faae00e6 | cljs.core.logic Substitutions now support metadata | David Nolen <d****n@g****m> | over 12 years ago | |
| b75429c7 | fix some obvious bugs | David Nolen <d****n@g****m> | over 12 years ago | |
| 8329ffb6 | merge Merge branch 'master' of github.com:clojure/core.logic | David Nolen <d****n@g****m> | over 12 years ago |