Commits

Author Commit Message Labels Comments Date
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
Carl Friedrich Bolz
merge varinterm: will disable it, but has some nice JIT-improvements.
Carl Friedrich Bolz
better JIT handling of newatom
Carl Friedrich Bolz
use atom_signature in univ as well
Carl Friedrich Bolz
an optimization: make it easy to get from a signature to the atom-signature with the same name
Carl Friedrich Bolz
some improvements in functor/3
Carl Friedrich Bolz
promotion
Carl Friedrich Bolz
better elidability
Carl Friedrich Bolz
a test and fix that makes sure that exceptions don't leave extra heaps around
Carl Friedrich Bolz
give up again on using unboxed Numbers
Carl Friedrich Bolz
merge
Carl Friedrich Bolz
adapt to recent changes
Branches
type-tag-terms
Carl Friedrich Bolz
UnsharedVars don't make sense
Branches
type-tag-terms
Carl Friedrich Bolz
make it possible again to use tagging
Carl Friedrich Bolz
faster moving
Branches
type-tag-terms
Carl Friedrich Bolz
better way to check for overflow
Branches
type-tag-terms
Rene Bartelmus
Added more tests, all passing.
Branches
tracing-support
Rene Bartelmus
Writte more tests, one XXX
Branches
tracing-support
Rene Bartelmus
Some minor changes
Branches
tracing-support
Rene Bartelmus
Code cleaning. Fixed a bug with calling leash([+]).
Branches
tracing-support
  1. Prev
  2. Next