1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Author Commit Message Date Builds
Edd Barrett
test_error.py: Extract exception from ExceptionInfo instead of having assert False.
Edd Barrett
Put the newline on the end of prolog errors in the exception handler instead.
Edd Barrett
Rid of newlines in prolog error strings.
Edd Barrett
Allow re-use of UncaughtError and CatchableError error string generation. Introduces a new type "TermedError" so that the code is not duplicated in UncaughtError and CatchableError.
Edd Barrett
Add a few new list predicates.
Carl Friedrich Bolz
try to be more robust in the path handling
Edd Barrett
Add member/2 and tests. OK cfbolz.
Carl Friedrich Bolz
adapt to moved functions
Carl Friedrich Bolz
force signatures to not contain \x00 chars
Carl Friedrich Bolz
the position is just an index
Carl Friedrich Bolz
proper error handling
Carl Friedrich Bolz
better error checking
Armin Rigo
Rename the imports: "from pypy..." => "from rpython..."
Carl Friedrich Bolz
fix exceptions when variables occur
Carl Friedrich Bolz
test and fix about the interoperation of exceptions and findall
Carl Friedrich Bolz
move the target
Carl Friedrich Bolz
random stuff in my work dir
Carl Friedrich Bolz
add two XXXs
Branches
type-tag-terms
Carl Friedrich Bolz
merge compress-terms2
Branches
type-tag-terms
Carl Friedrich Bolz
unroll basic_unify of shaped callables correctly
Branches
compress-terms2
Carl Friedrich Bolz
disable currently broken test
Branches
compress-terms2
Carl Friedrich Bolz
merge default
Branches
compress-terms2
Carl Friedrich Bolz
keep statistics (will be ripped out soon)
Carl Friedrich Bolz
give shapes a str that summarizes them
Carl Friedrich Bolz
implement a special class for ./2 terms.
Carl Friedrich Bolz
the atom descr can be generated
Carl Friedrich Bolz
add term/arity and atom specialization
Carl Friedrich Bolz
explicit test for var specialization
Carl Friedrich Bolz
introduce a better argument_at_dereference for the case of specialized terms
Carl Friedrich Bolz
unroll Callable.basic_unify correctly
  1. Prev
  2. Next