Commits

Author Commit Message Labels Comments Date
Carl Friedrich Bolz
make continuation.view nicer
Branches
continuation-based
David Schneider
(cfbolz, david): play a bit with the jit. The hints now seem to make more sense.
Branches
continuation-based
Carl Friedrich Bolz
grr, left the debug print in
Branches
continuation-based
Carl Friedrich Bolz
also accept newline as a "stop now please" character
Branches
continuation-based
David Schneider
do not user _promote on string params
Branches
continuation-based
David Schneider
add some assertion to make annotator happy
Branches
continuation-based
David Schneider
whitespace cleanup
Branches
continuation-based
David Schneider
generate abstract base class for all specialized term classes generated terms inherit from the corresponding abstract class for their number of arguments. For generic terms a generic class is generated for the corresponding number of arguments
Branches
continuation-based
David Schneider
Make translator happy
Branches
continuation-based
David Schneider
Merge branch 'fix_builtins'
Branches
continuation-based
David Schneider
finish backtracking for arg/3 with continuations
Branches
continuation-based
David Schneider
start building arg continuation
Branches
continuation-based
David Schneider
Unify signature for special class constructor
Branches
continuation-based
David Schneider
remove debug message
Branches
continuation-based
David Schneider
Use specialized terms for up to 3 arguments
Branches
continuation-based
David Schneider
fix some database related xfailing tests
Branches
continuation-based
David Schneider
update stuff to accept other term classes
Branches
continuation-based
David Schneider
Add specialized classes for terms with a certain amount of arguments
Branches
continuation-based
David Schneider
extract parse method to tool module
Branches
continuation-based
Carl Friedrich Bolz
a few places that still had explicit isinstance(..., Term) checks
Branches
continuation-based
Carl Friedrich Bolz
stop the warning when translating
Branches
continuation-based
Carl Friedrich Bolz
slightly simplify things
Branches
continuation-based
Carl Friedrich Bolz
one less isinstance check is enough too
Branches
continuation-based
David Schneider
Fix formatting issues due to different term classes
Branches
continuation-based
David Schneider
Add specialized cut
Branches
continuation-based
David Schneider
Add specialized or class
Branches
continuation-based
David Schneider
reactivate passing test
Branches
continuation-based
David Schneider
add helper method is_term and use it
Branches
continuation-based
David Schneider
remove an erroneous call left when refactoring rules
Branches
continuation-based
David Schneider
some tweaks and making it translate
Branches
continuation-based
  1. Prev
  2. Next