XSB Src (SVN)-old

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

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r7561]  Maximize  Restore  History

Got rid of old TRACE_STA which was unusable as it was too slow.
Relpaced it by a routine that keeps track only of maximum table usage.
This can still be optimized, primarily by checking once per SCC
closure rather than once per completion, but it should be usable if we
want it.

Authored by: tswift 2012-07-04

Browse code at this revision

Parent: [r7560]

Child: [r7562]

changed	/trunk/XSB/emu/builtin.c
changed	/trunk/XSB/emu/flag_defs_xsb.h
changed	/trunk/XSB/emu/init_xsb.c
changed	/trunk/XSB/emu/memory_xsb.c
changed	/trunk/XSB/emu/subp.c
changed	/trunk/XSB/emu/table_stats.c
changed	/trunk/XSB/emu/tables.c
changed	/trunk/XSB/emu/tr_utils.c
changed	/trunk/XSB/emu/trace_xsb.c
changed	/trunk/XSB/emu/trace_xsb.h

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

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

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

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

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

/trunk/XSB/emu/table_stats.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.c Diff Switch to side-by-side view

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

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

✕