Commits

Show all
Author Commit Message Labels Comments Date
Pierre Carbonnelle
Added tag 0.16.0rc1 for changeset df3aa3b3f5c9
Pierre Carbonnelle
0.16.0rc1
Tags
0.16.0rc1
Pierre Carbonnelle
realign cython stub file (.pxd)
Pierre Carbonnelle
fix resolution of graph.py
Pierre Carbonnelle
use a list for Subgoal.on_completion_
Pierre Carbonnelle
use a list for Subgoal.on_completion_
Pierre Carbonnelle
detect duplicate SEARCH. Do not shuffle stack too much.
Pierre Carbonnelle
restart searches correctly for non-recursive subgoals
Pierre Carbonnelle
improve Slow Motion traces
Pierre Carbonnelle
call get_fact_id only once
Pierre Carbonnelle
Cythonize Subgoal
Pierre Carbonnelle
remove Subgoal.iterable
Pierre Carbonnelle
strictly enforce clause order for functions
Pierre Carbonnelle
minor documentation changes
Pierre Carbonnelle
remove 'with block' to simplify iterations in Subgoal.search
Pierre Carbonnelle
fix an even stranger case than issue #14
Pierre Carbonnelle
fix issue #14. show(task)
Pierre Carbonnelle
add negation tests
Pierre Carbonnelle
cache for literal.pred.recursive
Pierre Carbonnelle
Replace stack of stack by LIFO + FIFO stack.
Pierre Carbonnelle
Subgoal.tasks is a deque().
Pierre Carbonnelle
recursive should use .id, not .name
Pierre Carbonnelle
hashtag 20x faster !! --> change graph.py too
Pierre Carbonnelle
synchronize task to recursive subgoal
Pierre Carbonnelle
? hashtag in 38 seconds
Pierre Carbonnelle
subgoal.fact(), .fact_candidate(), .rule()
Pierre Carbonnelle
add Slow_motion traces
Pierre Carbonnelle
use tuples for waiters
Pierre Carbonnelle
clear subgoal.waiters when done
Pierre Carbonnelle
use block of tasks to manage recursive, STM
  1. Prev
  2. Next