Commits

Show all
Author Commit Message Labels Comments Date
Carl Friedrich Bolz avatarCarl Friedrich Bolz
random stuff in my work dir
Branches
rip-out-varinterm
Carl Friedrich Bolz avatarCarl Friedrich Bolz
add two XXXs
Branches
type-tag-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge compress-terms2
Branches
type-tag-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
unroll basic_unify of shaped callables correctly
Branches
compress-terms2
Carl Friedrich Bolz avatarCarl Friedrich Bolz
disable currently broken test
Branches
compress-terms2
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge default
Branches
compress-terms2
Carl Friedrich Bolz avatarCarl Friedrich Bolz
kill unused argument
Carl Friedrich Bolz avatarCarl Friedrich Bolz
module's names can't change
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge default
Branches
type-tag-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
kill some whitespace
Carl Friedrich Bolz avatarCarl Friedrich Bolz
make these methods a bit more logical in their argument order
Carl Friedrich Bolz avatarCarl Friedrich Bolz
more cases when to unroll these
Carl Friedrich Bolz avatarCarl Friedrich Bolz
a few careful promotes
Carl Friedrich Bolz avatarCarl Friedrich Bolz
unroll basic_unify sometimes
Carl Friedrich Bolz avatarCarl Friedrich Bolz
implement floordiv
Carl Friedrich Bolz avatarCarl Friedrich Bolz
unroll revert a bit more carefully
Carl Friedrich Bolz avatarCarl Friedrich Bolz
unroll _find_not_discarded once
Carl Friedrich Bolz avatarCarl Friedrich Bolz
more clever _double_size
Carl Friedrich Bolz avatarCarl Friedrich Bolz
do some potentially safe unrolling (stolen from compress-terms2 branch)
Carl Friedrich Bolz avatarCarl Friedrich Bolz
fix translation
Carl Friedrich Bolz avatarCarl Friedrich Bolz
disable varinterm for now
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge varinterm: will disable it, but has some nice JIT-improvements.
Carl Friedrich Bolz avatarCarl Friedrich Bolz
better JIT handling of newatom
Carl Friedrich Bolz avatarCarl Friedrich Bolz
use atom_signature in univ as well
Carl Friedrich Bolz avatarCarl Friedrich Bolz
an optimization: make it easy to get from a signature to the atom-signature with the same name
Carl Friedrich Bolz avatarCarl Friedrich Bolz
some improvements in functor/3
Carl Friedrich Bolz avatarCarl Friedrich Bolz
promotion
Carl Friedrich Bolz avatarCarl Friedrich Bolz
better elidability
Carl Friedrich Bolz avatarCarl Friedrich Bolz
a test and fix that makes sure that exceptions don't leave extra heaps around
Carl Friedrich Bolz avatarCarl Friedrich Bolz
give up again on using unboxed Numbers
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.