Commits

Author Commit Message Labels Comments Date
Sven Hager
Tests seems to run, about 2/3 of all tests pass
Branches
sven_test
Carl Friedrich Bolz
remove view
Branches
compress-terms
Carl Friedrich Bolz
merge trunk
Branches
compress-terms
Carl Friedrich Bolz
merge 183
Branches
compress-terms
Carl Friedrich Bolz
merge
Tags
translating
Carl Friedrich Bolz
this apparently seems to fix the test, unfortunately I didn't find the deeper problem.
Branches
sven_test
Carl Friedrich Bolz
fix typo
Branches
sven_test
Carl Friedrich Bolz
merge
Branches
sven_test
Sven Hager
(hager, cfbolz): try to implement cyclic terms, but there is a bug somewhere
Branches
sven_test
Sven Hager
(cfbolz): can_inline doesn't exist any more
Sven Hager
made branch and todo
Branches
sven_test
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
  1. Prev
  2. Next