Commits

Show all
Author Commit Message Labels Comments Date
Carl Friedrich Bolz
don't clone ground terms that appear in heads of variables
Carl Friedrich Bolz
cleanup
Carl Friedrich Bolz
add a bench file for benching untranslated
Carl Friedrich Bolz
merge
Carl Friedrich Bolz
fix findall: the copy of the goal should not do variable shunting
Carl Friedrich Bolz
gah, most annoying bug ever: revert attvars in reverse order (obviously)
Carl Friedrich Bolz
specialize on the type of the current continuation as well
Edd Barrett
Add tests for last/2.
Edd Barrett
Implement last/2.
Carl Friedrich Bolz
immutable
Carl Friedrich Bolz
gah, fix formatting of lists
Carl Friedrich Bolz
fix off-by-one erorrs
Carl Friedrich Bolz
deal with missing error context
Carl Friedrich Bolz
rename and simplify copy_and_basic_unify
Carl Friedrich Bolz
merge better-errors
Carl Friedrich Bolz
close to-be-merged branch
Branches
better-errors
Carl Friedrich Bolz
bah, nonsense
Branches
better-errors
Carl Friedrich Bolz
properly handle ZeroDivisionErrors
Carl Friedrich Bolz
fix test
Carl Friedrich Bolz
implement sqrt
Carl Friedrich Bolz
a failing test for later
Carl Friedrich Bolz
implement scientific float syntax
Carl Friedrich Bolz
another translation fix
Branches
better-errors
Carl Friedrich Bolz
print which builtin an error comes from if it's a builtin
Branches
better-errors
Carl Friedrich Bolz
fix translation
Branches
better-errors
Carl Friedrich Bolz
print traceback on the console
Branches
better-errors
Carl Friedrich Bolz
deal with non-printable traceback items
Branches
better-errors
Carl Friedrich Bolz
print the source code in the trace back
Branches
better-errors
Carl Friedrich Bolz
add the source code to rules that come from a source file
Branches
better-errors
Carl Friedrich Bolz
clean up rule addition a bit
Branches
better-errors
  1. Prev
  2. Next