XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r8309] Maximize Restore History

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.

Authored by: tswift 2015-03-30

Browse code at this revision

Parent: [r8308]

Child: [r8310]

changed	/trunk/XSB/emu/call_graph_xsb.c
changed	/trunk/XSB/emu/memory_xsb.h
changed	/trunk/XSB/emu/tries.c
changed	/trunk/XSB/emu/tries.h

XSB Src (SVN)-old

Commit [r8309] Maximize Restore History

/trunk/XSB/emu/call_graph_xsb.c Diff Switch to side-by-side view

/trunk/XSB/emu/memory_xsb.h Diff Switch to side-by-side view

/trunk/XSB/emu/tries.c Diff Switch to side-by-side view

/trunk/XSB/emu/tries.h Diff Switch to side-by-side view