Menu ▾ ▴

Commit [r9234]  Maximize  Restore  History

Changes to

* Fix bug where callnode->recomputable was not reset to
COMPUTE_DEPENDENCIES_FIRST when no change was propagated.
* Added table as maxans
* Added tripwire option 'custom' rather than overloading 'suspend'

tswift 2018-03-04

changed /trunk/XSB/emu/call_graph_xsb.c
changed /trunk/XSB/emu/flag_defs_xsb.h
changed /trunk/XSB/emu/init_xsb.c
changed /trunk/XSB/emu/tab_structs.h
changed /trunk/XSB/emu/tr_utils.c
/trunk/XSB/emu/call_graph_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/flag_defs_xsb.h 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/tab_structs.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...