1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Show all
Author Commit Message Date Builds
Carl Friedrich Bolz
random stuff in my work dir
Carl Friedrich Bolz
add two XXXs
Branches
type-tag-terms
Carl Friedrich Bolz
merge compress-terms2
Branches
type-tag-terms
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
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
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
  1. Prev
  2. Next