Menu

Src (SVN)-old Commit Log


Commit Date  
[r7759] by tswift

Reverting to previous

2013-05-01 17:50:56 Tree
[r7758] by tswift

Commit for new release

2013-05-01 17:04:47 Tree
[r7757] by tswift

tr_utils -- got rid of extraneous global variable
tr_code_xsb_i.h -- got rid of printf.

2013-04-26 21:49:34 Tree
[r7756] by tswift

slgintst.h -- log tc for call subsumption if forest logging is on
emuloop.c - commented out printf.

2013-04-26 21:46:30 Tree
[r7755] by tswift

took out printfs, and rearranged condition of while statement for Valgrind.

2013-04-25 18:20:44 Tree
[r7754] by tswift

Added new case for dependencies in explain_u_val.

2013-04-24 22:41:04 Tree
[r7753] by tswift

Fix for explain_u_val when asking about a subgoal that depends on
SCCs with negative loops, but that is not part of one.

2013-04-24 22:32:47 Tree
[r7752] by tswift

Fixed bug in remove incomplete tables, as used in error handling. Fix
was to abolish incremental tables incrementally.

2013-04-24 18:39:49 Tree
[r7751] by dwarren

Added a missing underscore in #ifndef MULTI THREAD

2013-04-21 16:24:16 Tree
[r7750] by tswift

Fixed a very subtle memory bug in expanding arrays for tabling. Needed tocheck that index is >= size =1
CV: ----------------------------------------------------------------------

2013-04-20 19:33:51 Tree
Older >
Monday.com Logo