Menu

Src (SVN)-old Commit Log


Commit Date  
[r7585] by dwarren

Added flag in Linkage step to increase size of process stack used by XSB.
(Contributed by Brett Benyo.)

2012-08-02 15:51:46 Tree
[r7584] by dwarren

Added flag for larger default process stack size in linkage step for
windows xsb.
(From Brett Benyo.)

2012-08-02 15:50:12 Tree
[r7583] by dwarren

Added pointer in ccallingxsb on the multi-threaded version to section
on sharing dynamic predicates in threads.

2012-07-30 17:53:38 Tree
[r7582] by dwarren

Changed declaration of depth_limit to unsigned to avoid compiler warning.

2012-07-30 13:36:02 Tree
[r7581] by tswift

Support for bounded rationality flag.

2012-07-25 23:19:12 Tree
[r7580] by tswift

Bounded rationality for answer depth (ifdeffed out)

2012-07-25 23:17:37 Tree
[r7579] by tswift

Fixed bug in get_residual when there are a large number of variables in head and/or body. Here's the comment.

/* TLS: Need to set copy_of_var_addr back to addr. Most of
the time, they will be equal, as cova was set to va.
However, var_addr might have been expanded during
load_delay_trie(). If so, then the values will be
different, and the deallocation of cova in the builtin
build_delay_lists will abort */

2012-07-25 22:53:42 Tree
[r7578] by tswift

Forgot to add this one.

2012-07-25 21:44:53 Tree
[r7577] by tswift

Added new bug found by W. May.

2012-07-25 21:44:21 Tree
[r7576] by tswift

Changed sprintf format from 1.18g to g which improvies number/atom conversion.

2012-07-20 16:31:30 Tree
Older >
Auth0 Logo