Author Commit Message Labels Comments Date
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge 183
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Tags
translating
Carl Friedrich Bolz avatarCarl Friedrich Bolz
this apparently seems to fix the test, unfortunately I didn't find the deeper
Branches
sven_test
Carl Friedrich Bolz avatarCarl Friedrich Bolz
fix typo
Branches
sven_test
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
sven_test
Sven Hager avatarSven Hager
(hager, cfbolz): try to implement cyclic terms, but there is a bug somewhere
Branches
sven_test
Sven Hager avatarSven Hager
(cfbolz): can_inline doesn't exist any more
Sven Hager avatarSven Hager
made branch and todo
Branches
sven_test
Carl Friedrich Bolz avatarCarl Friedrich Bolz
intermediate stuff
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
use shapes for the body of rules
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
add a default implementation
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
fix typo
Branches
more-experiments
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
factor out _does_contain_cut into a global function
Branches
more-experiments
Carl Friedrich Bolz avatarCarl Friedrich Bolz
test the sharing and the non-sharing case
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
implement make_reshaper
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
write a reshaper class
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
fix tests
Branches
more-experiments
Carl Friedrich Bolz avatarCarl Friedrich Bolz
term_with_numbered_vars_to_shape
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
build_potentially_wrap
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
don't need to store n
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
base implementation of resolve_at
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
a simple-minded least-recently-used histogram
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
start playing with shapes, which are supposed to be a way to store Prolog
Branches
compress-terms
Carl Friedrich Bolz avatarCarl Friedrich Bolz
merge
Branches
jit-playfield
Carl Friedrich Bolz avatarCarl Friedrich Bolz
fix translation
Branches
more-experiments
  1. Prev
  2. Next
Help
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.