Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[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
[r7749] by tswift

Also forgot this one.

 2013-04-19 13:48:14 Tree
[r7748] by tswift

Forgot to check this in.

 2013-04-19 13:46:34 Tree
[r7747] by tswift

Increased size of maxtermbuffer

 2013-04-18 22:55:43 Tree
[r7746] by tswift

Changes to

1) Allow forest logging to output arbitrarily large terms, supporting
terminyzer, and other analysis routines.

2) Disable backtrace on errors when forest logging; also not
outputting redundant error logging.

 2013-04-17 22:02:35 Tree
Older >
Monday.com Logo