• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

pythological / kanren / 72

Builds Branch Commit Type Ran Committer Via Coverage
72 fix_term_walk_groundedness Simplify walko Pull #27 26 Feb 2020 05:22AM UTC web-flow travis-ci pending completion   set done
71 fix_term_walk_groundedness Consolidate and make mapo functions variadic Pull #27 25 Feb 2020 10:10PM UTC web-flow travis-ci pending completion   set done
70 fix_term_walk_groundedness Clean up duplicate test code Pull #27 24 Feb 2020 11:41PM UTC web-flow travis-ci pending completion   set done
68 v1.0.1 Add a pypi build and push Makefile target push 24 Feb 2020 02:22AM UTC brandonwillard travis-ci pending completion   set done
67 master Add a pypi build and push Makefile target push 24 Feb 2020 02:21AM UTC brandonwillard travis-ci pending completion   set done
66 v1.0.0 Merge pull request #25 from brandonwillard/remove-evalt-and-earlygoalerror Remove EarlyGoalError and tuple evaluation push 24 Feb 2020 02:18AM UTC web-flow travis-ci pending completion   set done
65 master Merge pull request #25 from brandonwillard/remove-evalt-and-earlygoalerror Remove EarlyGoalError and tuple evaluation push 24 Feb 2020 02:17AM UTC web-flow travis-ci pending completion   set done
64 remove-evalt-and-earlygoalerror Remove unused op_args Pull #25 24 Feb 2020 01:57AM UTC web-flow travis-ci pending completion   set done
63 remove-evalt-and-earlygoalerror Remove EarlyGoalError and tuple evaluation Closes #10. Pull #25 23 Feb 2020 12:51AM UTC web-flow travis-ci pending completion   set done
60 master Merge pull request #24 from brandonwillard/updates-for-stream-unification Updates for stream/trampoline-based unification push 22 Feb 2020 07:12AM UTC web-flow travis-ci pending completion   set done
59 updates-for-stream-unification Updates for stream/trampoline-based unification Pull #24 22 Feb 2020 06:51AM UTC web-flow travis-ci pending completion   set done
58 master Merge pull request #20 from brandonwillard/improve-basic-goals Improve and add basic miniKanren goals push 31 Jan 2020 06:43AM UTC web-flow travis-ci pending completion   set done
57 improve-basic-goals Completely refactor associative and commutative functionality This approach uses associative flattening (e.g. `(op, 1, (op, 2, 3))` is flattened to `(op, 1, 2, 3)`), which now makes nested associative operations possible. Pull #20 31 Jan 2020 06:34AM UTC web-flow travis-ci pending completion   set done
56 improve-basic-goals Add mapo and permuteo Pull #20 03 Jan 2020 05:13AM UTC web-flow travis-ci pending completion   set done
55 improve-basic-goals Implement a fully functional membero Pull #20 02 Jan 2020 06:02PM UTC web-flow travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc