Commits

Author Commit Message Labels Comments Date
Rene Bartelmus
Fixed bug with exception port
Branches
tracing-support
Rene Bartelmus
Added more tests, all passing.
Branches
tracing-support
Rene Bartelmus
Writte more tests, one XXX
Branches
tracing-support
Rene Bartelmus
Some minor changes
Branches
tracing-support
Rene Bartelmus
Code cleaning. Fixed a bug with calling leash([+]).
Branches
tracing-support
Rene Bartelmus
Written more tests. All tests succeed
Branches
tracing-support
Rene Bartelmus
Removed XXX's
Branches
tracing-support
Rene Bartelmus
Fixed bad error on abort
Branches
tracing-support
Rene Bartelmus
Trace now working on interpreter interface for seperate queries
Branches
tracing-support
Rene Bartelmus
more XXX
Branches
tracing-support
Rene Bartelmus
Action calling is now via dictionary
Branches
tracing-support
Rene Bartelmus
Removed some obsolete XXX
Branches
tracing-support
Rene Bartelmus
Repaired test for repeat
Branches
tracing-support
Rene Bartelmus
Refactored test suite. Using methods trace_init_test and trace_init_test_gen
Branches
tracing-support
Rene Bartelmus
Refactored action_fail in TraceFailureContinuation
Branches
tracing-support
Rene Bartelmus
Two XXX done,
Branches
tracing-support
Rene Bartelmus
Refactored Exit Continuation for memory savings. Still refactoring Redo port for and compunded terms.
Branches
tracing-support
Rene Bartelmus
More tests
Branches
tracing-support
Rene Bartelmus
New tests for and compounded terms
Branches
tracing-support
Rene Bartelmus
Written more tests. And compounded terms seem to have still problems
Branches
tracing-support
Rene Bartelmus
Fixed bug with and-compounded terms
Branches
tracing-support
Rene Bartelmus
Some minor changes. Still working on repeat
Branches
tracing-support
Rene Bartelmus
Non covered test of a fail-chain of "and"-compounded terms
Branches
tracing-support
Rene Bartelmus
view-friendly output, added format_query(...), Fixed bug in TraceFailureContinuation
Branches
tracing-support
Rene Bartelmus
Refactored test for repeat.
Branches
tracing-support
Rene Bartelmus
Fixed bug in using raw_string
Branches
tracing-support
Rene Bartelmus
Fixed problem with broken var bindings for Fail port output. Dereference for Redo ports deactivated.
Branches
tracing-support
Rene Bartelmus
New Test for repeat
Branches
tracing-support
Rene Bartelmus
Refactored Wrappers activate and fail, added todos
Branches
tracing-support
Rene Bartelmus
Review with Carl. Refactored predicate output with derefencing. Adapted tests.
Branches
tracing-support
  1. Prev
  2. Next