Commits

Show all
Author Commit Message Labels Comments Date
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
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)
Branches
coroutines-support
Carl Friedrich Bolz
"purefunction" is now called "elidable"
Branches
coroutines-support
Carl Friedrich Bolz
kill getvalue
Branches
coroutines-support
Carl Friedrich Bolz
merge
Branches
coroutines-support
Carl Friedrich Bolz
merge
Branches
coroutines-support
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.
Branches
coroutines-support
Sven Hager
Added code to JIT test.
Branches
coroutines-support
Sven Hager
Added cut to freeze/2 implementation.
Branches
coroutines-support
Sven Hager
Fixed backtracking bug that occured if more than 1 attributes had to be removed due to backtracking.
Branches
coroutines-support
Sven Hager
Don't trail maps any more, this is not needed.
Branches
coroutines-support
Sven Hager
Fixed bug in implementation of freeze/2.
Branches
coroutines-support
Sven Hager
Added call/1 to attr_unify_hook.
Branches
coroutines-support
Sven Hager
Removed senseless rule of attr_unify_hook.
Branches
coroutines-support
Sven Hager
Refactored when_decidable, now recursive calls to when_decidable should be faster.
Branches
coroutines-support
Sven Hager
Reimplemented when_decidable.
Branches
coroutines-support
Sven Hager
Refactored unifiable, now less typechecks have to be done.
Branches
coroutines-support
Sven Hager
Added when_decidable test, splitted when_tests into several smaller tests.
Branches
coroutines-support
Sven Hager
Refactored when_decidable, make use of unifiable now.
Branches
coroutines-support
Sven Hager
Implemented unifiable/3 and wrote a test.
Branches
coroutines-support
Sven Hager
Slightly improved when_decidable.
Branches
coroutines-support
Sven Hager
Added test regarding module loading.
Branches
coroutines-support
Sven Hager
merge
Branches
coroutines-support
  1. Prev
  2. Next