1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Show all
Author Commit Message Date Builds
Carl Friedrich Bolz
change exactly where in the trace unification happens: before, unipycation happened just after the jump. That means that the full query escapes. Now unification happens before the jump, but the body is unified apart after the jump. This seems to be the correct middle ground, a lot of benchmarks became faster.
Carl Friedrich Bolz
promote self, fix typ
Carl Friedrich Bolz
merge mem-savings
Carl Friedrich Bolz
close to-be-merged branch
Branches
mem-savings
Carl Friedrich Bolz
fixes
Branches
mem-savings
Carl Friedrich Bolz
inline the query into the UserCallContinuation as well
Branches
mem-savings
Carl Friedrich Bolz
remove superfluous instance_ptr_eq checks when jitting copy_standardize_apart
Branches
mem-savings
Carl Friedrich Bolz
inline the query arguments into the RuleContinuation
Branches
mem-savings
Carl Friedrich Bolz
move look_inside_iff around precisely the loop
Carl Friedrich Bolz
rename basic -> nonvar and introduce atomic_unify
Carl Friedrich Bolz
remove dead varinterm stuff and mutable stuff
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
  1. Prev
  2. Next