Commits

Author Commit Message Labels Comments Date
Carl Friedrich Bolz
some simplifications
Edd Barrett
Add test for delete/3 and add a test for nextto/3.
Ed Robbins
Replace GPL list predicates with MIT license cleanroom implementations.
Edd Barrett
Comment of why testing variable order is hard.
Edd Barrett
Re-implement min_member/2 and max_member/2. Remove Var ordering tests (see comments in code)
Edd Barrett
Test min_member/2 and max_member/2 work on empty lists.
Edd Barrett
Implement min_member/2 and max_member/2.
Edd Barrett
Fix the standard order.
Edd Barrett
Merge LICENSE in.
Edd Barrett
Add an LICENSE file. MIT.
Branches
new-list-predicates
Edd Barrett
Revamp the error handling code.
Edd Barrett
test_error.py: Extract exception from ExceptionInfo instead of having assert False.
Branches
improve-error-handling
Edd Barrett
Put the newline on the end of prolog errors in the exception handler instead.
Branches
improve-error-handling
Edd Barrett
Rid of newlines in prolog error strings.
Branches
improve-error-handling
Edd Barrett
Allow re-use of UncaughtError and CatchableError error string generation.
Branches
improve-error-handling
Edd Barrett
Add a few new list predicates.
Branches
new-list-predicates
Carl Friedrich Bolz
try to be more robust in the path handling
Edd Barrett
Add member/2 and tests.
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
Branches
rip-out-varinterm
Carl Friedrich Bolz
add two XXXs
Branches
type-tag-terms
Carl Friedrich Bolz
merge compress-terms2
Branches
type-tag-terms
  1. Prev
  2. Next