Commits

Show all
Author Commit Message Labels Comments Date
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
add a default implementation
Carl Friedrich Bolz
remove useless line without effect
Carl Friedrich Bolz
add hgignore
Carl Friedrich Bolz
merge trunk
Carl Friedrich Bolz
add the serialize benchmark as an example here
Branches
continuation-based
Carl Friedrich Bolz
introduce a memo that is used when copying terms
Branches
continuation-based
Carl Friedrich Bolz
circumenvent the driver sometimes
Branches
continuation-based
Carl Friedrich Bolz
directly build the correct class
Branches
continuation-based
Carl Friedrich Bolz
don't look into this with the jit
Branches
continuation-based
Carl Friedrich Bolz
split the CutDelimiter continuation into two different objects
Branches
continuation-based
Carl Friedrich Bolz
improve exceptions in the JIT
Branches
continuation-based
Carl Friedrich Bolz
- make continuations a bit smaller - improve BodyContinuation usage a bit
Branches
continuation-based
Carl Friedrich Bolz
grumble. Also, fix a translation warning.
Branches
continuation-based
Carl Friedrich Bolz
tiny optimization
Branches
continuation-based
Carl Friedrich Bolz
fix an XXX
Branches
continuation-based
David Schneider
(cfbolz, david) Fix issue with the if impl and pass the resource consumption test wor recursive if-calls
Branches
continuation-based
David Schneider
refactored resource consumption tests and added test for recursion with if
Branches
continuation-based
David Schneider
(cfbolz, david) Setup clocks in the Engine object. Belongs to rev. 72299
Branches
continuation-based
Carl Friedrich Bolz
Rewrite the statistics code a bit.
Branches
continuation-based
Carl Friedrich Bolz
update test_jit
Branches
continuation-based
Carl Friedrich Bolz
a bit of code duplication to make things a lot more efficient
Branches
continuation-based
Carl Friedrich Bolz
make stuff immutable
Branches
continuation-based
Carl Friedrich Bolz
make univ promote its predicate
Branches
continuation-based
  1. Prev
  2. Next