minikanren-ee

An embedded expander wrapper around faster-minikanren, offering better error messages and some automatic program transformations

Build status: failed missing license metadata

Checksum error An error occurred while updating the package checksum.

git: could not find requested reference
  reference: pre-8.2.0.7
  repo: michaelballantyne/minikanren-ee.git
  context...:
   /home/pkgserver/racket/collects/net/git-checkout.rkt:405:0: select-commits
   /home/pkgserver/racket/collects/net/git-checkout.rkt:74:8
   /home/pkgserver/racket/collects/net/git-checkout.rkt:55:2: retry-loop
   /home/pkgserver/pkg-index/official/update.rkt:100:22
   /home/pkgserver/racket/collects/racket/private/more-scheme.rkt:343:2: do-hash-update
   /home/pkgserver/pkg-index/official/update.rkt:31:2
   /home/pkgserver/racket/collects/racket/private/list.rkt:263:2: filter
   /home/pkgserver/pkg-index/official/update.rkt:174:0: do-update!
   /home/pkgserver/pkg-index/official/common.rkt:148:0: run!
   /home/pkgserver/pkg-index/official/update.rkt:185:0: run-update!

Authors

michael.ballantyneλ170ea6e

Documentation

Tags

License

Last updated

Wednesday, June 26th, 2024 8:12:26pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled unsuccessfully: transcript

Version Exceptions

Version	Source	Checksum
7.9	https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7	477b3d6969b7b001f5284487259745ee6b03f44d
7.8	https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7	477b3d6969b7b001f5284487259745ee6b03f44d
default	https://github.com/michaelballantyne/minikanren-ee.git	d0578b2c9b9b04558ff7985a7bf71823755565fa
8.2	https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7	477b3d6969b7b001f5284487259745ee6b03f44d
8.0	https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7	477b3d6969b7b001f5284487259745ee6b03f44d
8.1	https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7	477b3d6969b7b001f5284487259745ee6b03f44d

Last checked

Tuesday, July 23rd, 2024 9:02:04pm (UTC)

Last edited

Monday, August 9th, 2021 6:17:24pm (UTC)

Date added

Friday, June 21st, 2019 7:55:29pm (UTC)

Modules

minikanren-ee/tests/equiv-tests-2.rkt
minikanren-ee/bench/benchmarks/four-fours.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/mexico.rkt
minikanren-ee/demos/icfp2024/code.rkt
minikanren-ee/tests/cons-list-succeed-test.rkt
minikanren-ee/tests/local.rkt
minikanren-ee/main.rkt
minikanren-ee/bench/benchmarks/icfp2017/challenge-1.rkt
minikanren-ee/private/syntax-classes.rkt
minikanren-ee/racket-matche.rkt
minikanren-ee/bench/benchmarks/icfp2017/challenge-7.rkt
minikanren-ee/bench/benchmarks/bench.rkt
minikanren-ee/mk/main.rkt
minikanren-ee/tests/shadowing-and-hygiene.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/canada.rkt
minikanren-ee/bench/benchmarks/graph-coloring/functional-graph-split.rkt
minikanren-ee/tests/mk-tests.rkt
minikanren-ee/private/forms.rkt
minikanren-ee/private/compile/redundant-occurs-check.rkt
minikanren-ee/bench/benchmarks/stdlib/full-interp.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/iberia.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/middle-earth.rkt
minikanren-ee/bench/langs/ee-dead-code.rkt
minikanren-ee/private/runtime.rkt
minikanren-ee/bench/benchmarks/icfp2017/evalo-small.rkt
minikanren-ee/private/compile/remove-noop.rkt
minikanren-ee/bench/benchmarks/relational-graph-color.rkt
minikanren-ee/bench/utils.rkt
minikanren-ee/private/compile/reorder-conj.rkt
minikanren-ee/bench/benchmarks/test-fact.rkt
minikanren-ee/tests/oopsla-artifact/minikanren-program-transformation.rkt
minikanren-ee/tests/oopsla-artifact/minikanren-compile-time-errors.rkt
minikanren-ee/private/compile/macro-scopes-bound-id-set.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/australia.rkt
minikanren-ee/bench/langs/faster-mk.rkt
minikanren-ee/matche.rkt
minikanren-ee/tests/interposition.rkt
minikanren-ee/bench/process-bench.rkt
minikanren-ee/tests/oopsla-artifact/minikanren-macro.rkt
minikanren-ee/private/spec.rkt
minikanren-ee/mk/full-interp.rkt
minikanren-ee/tests/term-from-expression-test.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/ireland.rkt
minikanren-ee/bench/benchmarks/icfp2017/challenge-3.rkt
minikanren-ee/bench/benchmarks/staging-result.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/kazakhstan.rkt
minikanren-ee/private/compile/remove-no-escape.rkt
minikanren-ee/mk/matche.rkt
minikanren-ee/bench/benchmarks/graph-coloring/orchid-graph-coloro.rkt
minikanren-ee/tests/test3.rkt
minikanren-ee/bench/langs/ee-occurs-check.rkt
minikanren-ee/demos/icfp2024/facts.rkt
minikanren-ee/tests/top-level.rkt
minikanren-ee/mk/simple-interp.rkt
minikanren-ee/tests/test-var-use-in-apply-rel.rkt
minikanren-ee/bench/bench.rkt
minikanren-ee/bench/benchmarks/icfp2017/challenge-2.rkt
minikanren-ee/bench/benchmarks/icfp2017/evalo-standard.rkt
minikanren-ee/private/compile/propagate-fail.rkt
minikanren-ee/mk/mk.rkt
minikanren-ee/bench/benchmarks/stdlib/simple-interp.rkt
minikanren-ee/tests/test2.rkt
minikanren-ee/bench/loader.rkt
minikanren-ee/bench/benchmarks/infer.rkt
minikanren-ee/private/compile/generate-code.rkt
minikanren-ee/private/compile/test/unit-test-infra.rkt
minikanren-ee/tests/oopsla-artifact/minikanren.rkt
minikanren-ee/bench/benchmarks/icfp2017/evalo-scoping.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/america.rkt
minikanren-ee/tests/test1.rkt
minikanren-ee/tests/equiv-tests.rkt
minikanren-ee/private/compile.rkt
minikanren-ee/numbers.rkt
minikanren-ee/bench/benchmarks/icfp2017/challenge-4.rkt
minikanren-ee/tests/shadowing-with-fresh-test.rkt
minikanren-ee/bench/langs/ee-all.rkt
minikanren-ee/bench/benchmarks/simple-interp-matche-compare.rkt
minikanren-ee/core.rkt
minikanren-ee/private/interface-macros.rkt
minikanren-ee/bench/benchmarks/stdlib/numbers.rkt
minikanren-ee/bench/benchmarks/appendo.rkt
minikanren-ee/tests/ffi.rkt
minikanren-ee/bench/benchmarks/dmitri-oc-test.rkt
minikanren-ee/tests/compare-matche.rkt
minikanren-ee/bench/benchmarks/icfp2017/challenge-2-extra-slow.rkt
minikanren-ee/private/compile/remove-unused-vars.rkt
minikanren-ee/bench/benchmarks/graph-coloring/graphs/south-america.rkt
minikanren-ee/bench/benchmarks/all-in-fd.rkt
minikanren-ee/mk/private-unstable.rkt
minikanren-ee/private/compile/first-refs.rkt
minikanren-ee/bench/langs/ee-prop-only.rkt
minikanren-ee/private/compile/prop-vars.rkt
minikanren-ee/mk/numbers.rkt
minikanren-ee/private/compile/fold.rkt
minikanren-ee/tests/test-leo.rkt
minikanren-ee/bench/langs/ee-no-opt.rkt
minikanren-ee/private/compile/utils.rkt
minikanren-ee/private/compile/test/unit-test-progs.rkt