Menu

Src (SVN)-old Commit Log


Commit Date  
[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
[r8410] by evansbj

intptr_t and uintptr_t are guarded by __INTPTR_TYPE__ and __UINTPTR_TYPE__ in OS X, trailing whitespace has been removed.

2015-07-14 18:08:05 Tree
[r8409] by evansbj

Added missing CTXTc tokens to lines 3297 and 3298 and by default my editor strips trailing whitespace.

2015-07-14 16:01:13 Tree
Older >
MongoDB Logo MongoDB