1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Author Commit Message Date Builds
Carl Friedrich Bolz
introduce Callable.argument_at_dereference and use it appropriately.
Carl Friedrich Bolz
add an intermediate AbstractBindingVar. This is necessary so that BindingVar is a final class
Carl Friedrich Bolz
add a docstring
Carl Friedrich Bolz
use the direct call again, the JIT will take care of it and it makes optimization simpler
Rene Bartelmus
Fixed bug with exception port
Branches
tracing-support
Carl Friedrich Bolz
simplification of prolog signature generation
Carl Friedrich Bolz
those tests don't work with term-specialization
Carl Friedrich Bolz
use a slightly different approach to caching
Carl Friedrich Bolz
use these terms everywhere. some things are failing.
Carl Friedrich Bolz
store ints untagged
Carl Friedrich Bolz
start erasing
Carl Friedrich Bolz
specialize by number of arguments right away
Carl Friedrich Bolz
rpythonification
Carl Friedrich Bolz
start sketching a non-recursive simple shape
Carl Friedrich Bolz
a branch to play with much more minimal term specialization
Carl Friedrich Bolz
kill unused argument
Carl Friedrich Bolz
module's names can't change
Carl Friedrich Bolz
merge default
Branches
type-tag-terms
Carl Friedrich Bolz
kill some whitespace
Carl Friedrich Bolz
make these methods a bit more logical in their argument order
Carl Friedrich Bolz
more cases when to unroll these
Carl Friedrich Bolz
a few careful promotes
Carl Friedrich Bolz
unroll basic_unify sometimes
Carl Friedrich Bolz
implement floordiv
Carl Friedrich Bolz
unroll revert a bit more carefully
Carl Friedrich Bolz
unroll _find_not_discarded once
Carl Friedrich Bolz
more clever _double_size
Carl Friedrich Bolz
do some potentially safe unrolling (stolen from compress-terms2 branch)
Carl Friedrich Bolz
fix translation
Carl Friedrich Bolz
disable varinterm for now
  1. Prev
  2. Next