Menu

Commit [r9617]  Maximize  Restore  History

Fix bug in removing least element from sched heap; also fix bug in scheduling for incremental table maintence where there was a missing add-to-shced-heap.

dwarren 2019-07-25

changed /trunk/XSB/emu/schedrev_xsb_i.h
changed /trunk/XSB/emu/slginsts_xsb_i.h
/trunk/XSB/emu/schedrev_xsb_i.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/slginsts_xsb_i.h Diff Switch to side-by-side view
Loading...