Menu ▾ ▴

Commit [r9616]  Maximize  Restore  History

Changed scheduling in fixpoint to use a priority queue. Also made some minimal changes in tst_insert.c to (maybe) make it easier to add iteration to the skip list impl.

dwarren 2019-07-24

Browse code at this revision

Parent: [r9615]

Child: [r9617]

changed /trunk/XSB/emu/context.h
changed /trunk/XSB/emu/emuloop.c
changed /trunk/XSB/emu/init_xsb.c
changed /trunk/XSB/emu/memory_xsb.c
changed /trunk/XSB/emu/schedrev_xsb_i.h
changed /trunk/XSB/emu/slginsts_xsb_i.h
changed /trunk/XSB/emu/tab_structs.h
changed /trunk/XSB/emu/tst_insert.c
/trunk/XSB/emu/context.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/emuloop.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/init_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/memory_xsb.c Diff Switch to side-by-side view
Loading...
/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...
/trunk/XSB/emu/tab_structs.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tst_insert.c Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB