Menu ▾ ▴

Commit [r8026]  Maximize  Restore  History

* added idb option to statistics/2

* Code factoring of abolishes.
* Removed usages of old, incorrect abolish incr call, replacing with new
* Fixed bugs in reclamining incremental and/or subsumptive tables
during tabled gc (as opposed to initial abolish time), and in
abolish_table_call transitive.

more to come...

tswift 2014-08-13

Browse code at this revision

Parent: [r8025]

Child: [r8027]

changed /trunk/XSB/docs/userman/incr_tabling.tex
changed /trunk/XSB/docs/userman/manual1.pdf
changed /trunk/XSB/docs/userman/quick_start.tex
changed /trunk/XSB/docs/userman/state.tex
changed /trunk/XSB/docs/userman/table_builtins.tex
/trunk/XSB/docs/userman/incr_tabling.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/manual1.pdf
Binary file was changed.
/trunk/XSB/docs/userman/quick_start.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/state.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/table_builtins.tex Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB