Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7762] by tswift

Using writeq when printing out in Prolog trace mode. Other Prologs
(e.g., Quintus) do this, and I've found it very helpful.

 2013-05-01 21:21:14 Tree
[r7761] by tswift

Check ins for revisions

 2013-05-01 18:19:32 Tree
[r7760] by tswift

reverting to previous.

 2013-05-01 17:56:36 Tree
[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
Older >
Monday.com Logo