Menu

Src (SVN)-old Commit Log


Commit Date  
[r8420] by dwarren

1. Added flag that indicates if simplification was done during completion.
It is used in answer_completion to avoid an extra iteration.
2. Improved (I think) building of delay lists (for get_residual), to be
slightly more resilient to heap movement in GC.

2015-08-07 16:22:45 Tree
[r8419] by dwarren

Eliminated several wasted cells on the heap (i.e., hreg was over-incremented.)

2015-08-06 17:42:05 Tree
[r8418] by dwarren

Changed way to determine whether a goal needs answer-completion. Now
it needs answer completion if it is in an SCC for which simplification
is done (and it's not early-completed.)

2015-08-05 18:59:37 Tree
[r8417] by dwarren

Minor changes in answer-completion: use force_truth_value(...,false)
instead of delete_return. It's more direct and should be slightly
more efficient. Use trie_get_return directly to avoid collecting all
answers just to see if there's one.

2015-08-05 18:57:07 Tree
[r8416] by dwarren

Changes for answer_completion.
Added predicate answer_completion/2 in tables.P that is called from
c (usually) and does answer completion.

2015-07-26 20:50:25 Tree
[r8415] by dwarren

All changes for answer-completion. (Redoes somethat got lost in the
sourceforge media crash.)

2015-07-26 20:49:14 Tree
[r8414] by dwarren

Add new tests for answer_completion, and
update right answers for old tests, now that answer completing is being done.

2015-07-26 17:48:18 Tree
[r8413] by evansbj

Added missing CTXTc tokens to lines 3287, 3288 and 3307 and striped trailing whitespace.

2015-07-15 09:12:07 Tree
[r8412] by kifer

added MD5 to sha1

2015-07-15 04:59:19 Tree
[r8411] by evansbj

Line 1645: eptr needs to be defined if your not using LOCAL_EVAL and trailing whitespaces have been removed.

2015-07-14 18:54:25 Tree
Older >
MongoDB Logo MongoDB