1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Show all
Author Commit Message Date Builds
Carl Friedrich Bolz
improve trace
Branches
jit-tests
Carl Friedrich Bolz
test append and length
Branches
jit-tests
Carl Friedrich Bolz
add some rudimentary support for running jit tests against a compiled executable. a lot of the code is copy-pasted from pypy :-(
Branches
jit-tests
Carl Friedrich Bolz
add a --jit commandline option
Branches
jit-tests
Carl Friedrich Bolz
remove XXX that was already fixed, improve some nonsense (but still not right)
Carl Friedrich Bolz
"purefunction" is now called "elidable"
Carl Friedrich Bolz
kill getvalue
Carl Friedrich Bolz
merge
Carl Friedrich Bolz
merge
Carl Friedrich Bolz
close merged branch
Branches
attvar-maps
Carl Friedrich Bolz
safe a field in UserCallContinuation and in RuleContinuation
Branches
attvar-maps
Carl Friedrich Bolz
promote signatures before comparing
Branches
attvar-maps
Carl Friedrich Bolz
safe one word per continuation
Branches
attvar-maps
Sven Hager
The findall bug seems to occur if the delayed goal is negated. Added a test, which shows th error. Did not fix it yet.
Sven Hager
Added code to JIT test.
Sven Hager
Added cut to freeze/2 implementation.
Sven Hager
Fixed backtracking bug that occured if more than 1 attributes had to be removed due to backtracking. Added test.
Sven Hager
Don't trail maps any more, this is not needed.
Sven Hager
Fixed bug in implementation of freeze/2. Added a test.
Sven Hager
Added call/1 to attr_unify_hook.
Sven Hager
Removed senseless rule of attr_unify_hook.
Sven Hager
Refactored when_decidable, now recursive calls to when_decidable should be faster.
Sven Hager
Reimplemented when_decidable.
Sven Hager
Refactored unifiable, now less typechecks have to be done.
Sven Hager
Added when_decidable test, splitted when_tests into several smaller tests.
Sven Hager
Refactored when_decidable, make use of unifiable now. Performance can still not compete with SWI, but is far better than before (not exponential).
Sven Hager
Implemented unifiable/3 and wrote a test.
Sven Hager
Slightly improved when_decidable.
Sven Hager
Added test regarding module loading.
Sven Hager
merge
  1. Prev
  2. Next