Commits

Author Commit Message Labels Comments Date
Sven Hager
Implemented put_attrs in prolog, addd tests.
Branches
attributed-variables-support
Sven Hager
beautified code in prolog_raises
Branches
attributed-variables-support
Sven Hager
(cfbolz, hager) Refactored .set in CopyMemo, so we don't need to initialize the dictionairy manually any more.
Branches
attributed-variables-support
Sven Hager
Implemented del_attrs.
Branches
attributed-variables-support
Sven Hager
Wrote tests for get_attrs/2 and del_attrs/1.
Branches
attributed-variables-support
Sven Hager
use heap.newvar() in impl_copy_term_3
Branches
attributed-variables-support
Sven Hager
Added some more tests to test_copy_term_3, skip fail_fast test, takes too long.wq
Branches
attributed-variables-support
Sven Hager
skip huge test, takes too long
Branches
attributed-variables-support
Sven Hager
fixed bug in Heap.hooks, now use stack instead of queue for storing hooks.
Branches
attributed-variables-support
Sven Hager
removed some comments
Branches
attributed-variables-support
Rene Bartelmus
(seigoryu, hager) Adjusted heap tests so that they test the new hook data structure.
Branches
attributed-variables-support
Rene Bartelmus
removed imports
Branches
attributed-variables-support
Rene Bartelmus
(seigoryu, hager) Implemented copy_term/3, added .copy from class AttVar and wrote some tests.
Branches
attributed-variables-support
Rene Bartelmus
corrected bug at formatting for attvars
Branches
attributed-variables-support
Sven Hager
The heap uses now a singly linked list for storing the hooks.
Branches
attributed-variables-support
Sven Hager
Implemented terminal output of not instantiated attvars.
Branches
attributed-variables-support
Sven Hager
(cfbolz, hager) Removed unneeded attributes from class Heap.
Branches
attributed-variables-support
Sven Hager
Refactored code for term_variables and term_attvars.
Branches
attributed-variables-support
Rene Bartelmus
(hager, seigoryu): refactored term_variables and term_attvars
Branches
attributed-variables-support
Rene Bartelmus
term_variables and term_attvars will now use 1 method
Branches
attributed-variables-support
Rene Bartelmus
(hager, seigoryu): implemented term_attvars with optimization
Branches
attributed-variables-support
Rene Bartelmus
Merged with module-support
Branches
attributed-variables-support
Rene Bartelmus
edited builtin/__init__.py: removed flags
Branches
attributed-variables-support
Rene Bartelmus
kill non existing experiment
Branches
dcg-support
René Bartelmus
initial merge
Sven Hager
merged attvar-support
Branches
module-support
Sven Hager
we're continuing on réne's computer
Branches
module-support
Sven Hager
Enabled old heap tests.
Branches
module-support
Sven Hager
Added more tests to test_attvars.py.
Branches
module-support
Sven Hager
Removed engine attribute from class AttVar because it is not needed.
Branches
module-support
  1. Prev
  2. Next