Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[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
[r7745] by kifer

added \n at the end of the file

 2013-04-02 05:51:24 Tree
[r7744] by tswift

Added simple use_module/3 command. The third argument currently has
no effect, but this is for compatability with Prolog commons.

 2013-03-20 18:48:27 Tree
Older >
Monday.com Logo