Commits

Author Commit Message Labels Comments Date
Pierre Carbonnelle
use block of tasks to manage recursive, STM
Pierre Carbonnelle
collect gc maximum once per ask()
Pierre Carbonnelle
move loop out of try: except:
Pierre Carbonnelle
fix indentation problem when evaluating code + misc
Pierre Carbonnelle
inline resolve()
Pierre Carbonnelle
clarity : reorganize chronologically
Pierre Carbonnelle
clarity : don't use lambda in complete()
Pierre Carbonnelle
always append to tasks; popleft or right in next_steps. + doc
Pierre Carbonnelle
clarify what to do on subgoal completion
Pierre Carbonnelle
test for multiple thunks
Pierre Carbonnelle
todo() returns next_step
Pierre Carbonnelle
Subgoal.next_step()
Pierre Carbonnelle
simplify invocation of tasks
Pierre Carbonnelle
remove unnecessary return x
Pierre Carbonnelle
cleanup Subgoal.complete()
Pierre Carbonnelle
clean up Subgoal.schedule()
Pierre Carbonnelle
replace opcode by actual func
Pierre Carbonnelle
schedule() --> Subgoal.schedule()
Pierre Carbonnelle
add_clause() --> Subgoal.add_clause()
Pierre Carbonnelle
complete() --> Subgoal.complete()
Pierre Carbonnelle
move search() to Subgoal.search()
Pierre Carbonnelle
simplify clause as per graph.py
Pierre Carbonnelle
issue #7 : use breadth-first for recursive literals
Pierre Carbonnelle
fix issue #13
Pierre Carbonnelle
Added tag 0.15.0 for changeset c62c8e9d29d6
Pierre Carbonnelle
version 0.15.0
Tags
0.15.0
Pierre Carbonnelle
draft of transaction API
Pierre Carbonnelle
in-line find(literal)
Pierre Carbonnelle
issue 8
Pierre Carbonnelle
reset a predicate using p(X) <= None
  1. Prev
  2. Next