Menu

Src (SVN)-old Commit Log


Commit Date  
[r8313] by dwarren

Changed how comment was done to quiet gcc compiler warning.

2015-04-09 20:02:28 Tree
[r8312] by tswift

* Fixed several introspection routines so that they expand heap correctly when using load_solution_trie and friends
* Eliminated some more dead code from incremental tabling routines.
* Upped the default heap/local stack size and margin by 4 for sequential only. This hadnt been done in quite a while, so it is time.
Could probably bump it up even more.

2015-04-08 23:24:49 Tree
[r8311] by tswift

Took out all references to affected_gl and changed_gl, which supported eager incremental tabling.
This dead code elimination probably wont make anything perceptably faster, but will make debugging easier,
and will make extension to multi-threading just a little easier.

2015-04-06 23:12:15 Tree
[r8310] by tswift

Commented out some dead code.

2015-04-06 19:00:48 Tree
[r8309] by tswift

Fixed return_lazy_calllist (a critical piece of code for incremental tabling) to properly determine the amount of heap size needed
for returning a subgoal. The problem was that the size determination that had been used assumed that no registers were otherwise used, and
overwrote the registers used in this builtin (which is called by an interrupt handler for the purposes of recomputing invalid subgoals).

There are a number of similar cases that need to be checked in other routines that are not so heavily used. I'll be fixing those in the next
few days.

2015-03-30 22:21:04 Tree
[r8308] by tswift

Fixed bug in return_lazy_affected when doing view maintenance.

2015-03-30 20:44:12 Tree
[r8307] by tswift

Better heap allocation checking for returning tabled subgoals -- I hope1

2015-03-29 22:03:45 Tree
[r8306] by kifer

updated manuals

2015-03-24 03:48:07 Tree
[r8305] by tswift

Added docmentation about set_forest_logging_for_pred/2.

2015-03-21 19:00:23 Tree
[r8304] by tswift

CHanges to support the PSC refactoring and forest log changes as mentioned in the previous email.

2015-03-21 18:46:23 Tree
Older >
MongoDB Logo MongoDB