| Commit | Date | |
|---|---|---|
|
[r7757]
by
tswift
tr_utils -- got rid of extraneous global variable |
2013-04-26 21:49:34 | Tree |
|
[r7756]
by
tswift
slgintst.h -- log tc for call subsumption if forest logging is on |
2013-04-26 21:46:30 | Tree |
| 2013-04-25 18:20:44 | Tree | |
| 2013-04-24 22:41:04 | Tree | |
|
[r7753]
by
tswift
Fix for explain_u_val when asking about a subgoal that depends on |
2013-04-24 22:32:47 | Tree |
|
[r7752]
by
tswift
Fixed bug in remove incomplete tables, as used in error handling. Fix |
2013-04-24 18:39:49 | Tree |
| 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 |
2013-04-20 19:33:51 | Tree |
| 2013-04-19 13:48:14 | Tree | |
| 2013-04-19 13:46:34 | Tree |