Commits

Author Commit Message Labels Comments Date
Carl Friedrich Bolz
unroll basic_unify of shaped callables correctly
Branches
compress-terms2
Carl Friedrich Bolz
disable currently broken test
Branches
compress-terms2
Carl Friedrich Bolz
merge default
Branches
compress-terms2
Carl Friedrich Bolz
keep statistics (will be ripped out soon)
Branches
minimal-specialization
Carl Friedrich Bolz
give shapes a str that summarizes them
Branches
minimal-specialization
Carl Friedrich Bolz
implement a special class for ./2 terms.
Branches
minimal-specialization
Carl Friedrich Bolz
the atom descr can be generated
Branches
minimal-specialization
Carl Friedrich Bolz
add term/arity and atom specialization
Branches
minimal-specialization
Carl Friedrich Bolz
explicit test for var specialization
Branches
minimal-specialization
Carl Friedrich Bolz
introduce a better argument_at_dereference for the case of specialized terms
Branches
minimal-specialization
Carl Friedrich Bolz
unroll Callable.basic_unify correctly
Branches
minimal-specialization
Carl Friedrich Bolz
introduce Callable.argument_at_dereference and use it appropriately.
Branches
minimal-specialization
Carl Friedrich Bolz
add an intermediate AbstractBindingVar. This is necessary so that BindingVar is a final class
Branches
minimal-specialization
Carl Friedrich Bolz
add a docstring
Branches
minimal-specialization
Carl Friedrich Bolz
use the direct call again, the JIT will take care of it and it makes optimization simpler
Branches
minimal-specialization
Rene Bartelmus
Fixed bug with exception port
Branches
tracing-support
Carl Friedrich Bolz
simplification of prolog signature generation
Branches
minimal-specialization
Carl Friedrich Bolz
those tests don't work with term-specialization
Branches
minimal-specialization
Carl Friedrich Bolz
use a slightly different approach to caching
Branches
minimal-specialization
Carl Friedrich Bolz
use these terms everywhere. some things are failing.
Branches
minimal-specialization
Carl Friedrich Bolz
store ints untagged
Branches
minimal-specialization
Carl Friedrich Bolz
start erasing
Branches
minimal-specialization
Carl Friedrich Bolz
specialize by number of arguments right away
Branches
minimal-specialization
Carl Friedrich Bolz
rpythonification
Branches
minimal-specialization
Carl Friedrich Bolz
start sketching a non-recursive simple shape
Branches
minimal-specialization
Carl Friedrich Bolz
a branch to play with much more minimal term specialization
Branches
minimal-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
  1. Prev
  2. Next