1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Author Commit Message Date Builds
Carl Friedrich Bolz
intermediate stuff
Branches
compress-terms
Carl Friedrich Bolz
use shapes for the body of rules
Branches
compress-terms
Carl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz
add a default implementation
Carl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz
fix typo
Branches
more-experiments
Carl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz
factor out _does_contain_cut into a global function
Branches
more-experiments
Carl Friedrich Bolz
test the sharing and the non-sharing case
Branches
compress-terms
Carl Friedrich Bolz
implement make_reshaper
Branches
compress-terms
Carl Friedrich Bolz
write a reshaper class
Branches
compress-terms
Carl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz
fix tests
Branches
more-experiments
Carl Friedrich Bolz
term_with_numbered_vars_to_shape
Branches
compress-terms
Carl Friedrich Bolz
build_potentially_wrap
Branches
compress-terms
Carl Friedrich Bolz
don't need to store n
Branches
compress-terms
Carl Friedrich Bolz
base implementation of resolve_at
Branches
compress-terms
Carl Friedrich Bolz
a simple-minded least-recently-used histogram
Branches
compress-terms
Carl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz
start playing with shapes, which are supposed to be a way to store Prolog objects more memory-efficiently
Branches
compress-terms
Carl Friedrich Bolz
merge
Branches
jit-playfield
Carl Friedrich Bolz
fix translation
Branches
more-experiments
Carl Friedrich Bolz
try to start jitting from the UserCallContinuation
Branches
jit-playfield
Carl Friedrich Bolz
remove useless line without effect
Carl Friedrich Bolz
small hack to make the JIT save a number of guards
Branches
more-experiments
Carl Friedrich Bolz
improve efficiency: non-dynamic predicates cannot be changed by an assert
Branches
more-experiments
Carl Friedrich Bolz
fix translation
Branches
more-experiments
Carl Friedrich Bolz
can't declare a predicate dynamic after it was defined.
Branches
more-experiments
Carl Friedrich Bolz
whitespace
Branches
more-experiments
Carl Friedrich Bolz
whitespace
Branches
more-experiments
  1. Prev
  2. Next