Commits

Author Commit Message Labels Comments Date
Carl Friedrich Bolz
don't compute quite so many intermediate callables when dereferencing a bound
Branches
compress-terms2
Carl Friedrich Bolz
fix heuristics
Branches
compress-terms2
Carl Friedrich Bolz
forgotten import
Branches
compress-terms2
Carl Friedrich Bolz
also do compression when standardizing apart a term
Branches
compress-terms2
Carl Friedrich Bolz
some simplifications
Branches
compress-terms2
Carl Friedrich Bolz
small simplifications
Branches
compress-terms2
Carl Friedrich Bolz
reduce code duplication, do some more variable shunting
Branches
compress-terms2
Carl Friedrich Bolz
do some (potentially dangerous) unrolling
Branches
compress-terms2
Carl Friedrich Bolz
move graphviz stuff to its own file
Branches
compress-terms2
Carl Friedrich Bolz
make the bounds smaller and parametrize tests using the official bounds
Branches
compress-terms2
Carl Friedrich Bolz
write get_full_storage equivalently to set_full_storage
Branches
compress-terms2
Carl Friedrich Bolz
help univ
Branches
compress-terms2
Carl Friedrich Bolz
directly mutate self when replacing a child. needs some care to not overwrite storage entries that will still be needed later.
Branches
compress-terms2
Carl Friedrich Bolz
optimize the ShapedCallable classes for a fixed number of arguments. needs to be tuned, etc.
Branches
compress-terms2
Carl Friedrich Bolz
abstract access to storage some more
Branches
compress-terms2
Carl Friedrich Bolz
kill unused method
Branches
compress-terms2
Carl Friedrich Bolz
fix tests
Branches
compress-terms2
Carl Friedrich Bolz
perform mode specialization, taking the shape of the unbound variables in the
Branches
compress-terms2
Rene Bartelmus
Some minor changes. Still working on repeat
Branches
tracing-support
Sven Hager
(cfbolz, hager) Fixed regex for block comments and added some tests.
Carl Friedrich Bolz
promote a bit earlier
Branches
compress-terms2
Carl Friedrich Bolz
merge
Branches
compress-terms2
Carl Friedrich Bolz
make rpython
Branches
compress-terms2
Carl Friedrich Bolz
cache indicators
Branches
compress-terms2
Carl Friedrich Bolz
switch from storing an index in VarInTerms to storing an "indicator". The
Branches
compress-terms2
Carl Friedrich Bolz
implement get_path on shapes
Branches
compress-terms2
Carl Friedrich Bolz
move unroll_safe to correct place
Branches
compress-terms2
Carl Friedrich Bolz
make some fields of Module immutable
Branches
compress-terms2
Carl Friedrich Bolz
promote and use the shape more consistently
Branches
compress-terms2
Carl Friedrich Bolz
make the standardizer immutable
Branches
compress-terms2
  1. Prev
  2. Next