XSB / Src (SVN)-old / Commit [r8999]

Commit [r8999] Maximize Restore History

Changes for better counts of tabling operations, including incremental tabling.

Also changes to fix the MT engine, the build of which I broke last week.
This work on statistics isn't finished, but I wanted to get my version in synch
with the trunk so that I can start testing some other changes.

Authored by: tswift 2017-03-26

Browse code at this revision

Parent: [r8998]

Child: [r9000]

changed	/trunk/XSB/emu/call_graph_xsb.c
changed	/trunk/XSB/emu/cinterf.c
changed	/trunk/XSB/emu/context.h
changed	/trunk/XSB/emu/hashtable.c
changed	/trunk/XSB/emu/hashtable_itr.c
changed	/trunk/XSB/emu/memory_xsb.c
changed	/trunk/XSB/emu/tables.c
changed	/trunk/XSB/emu/tr_utils.h
changed	/trunk/XSB/emu/trace_xsb.c
changed	/trunk/XSB/emu/tries.c
changed	/trunk/XSB/emu/tries.h

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

XSB Src (SVN)-old

Commit [r8999] Maximize Restore History

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

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

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

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

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

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

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

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

/trunk/XSB/emu/trace_xsb.c 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