XSB Src (SVN)-old

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

Commit [r9473] Maximize Restore History

Updates to mode checking in modeinf.P; some other minor changes so other modules pass the mode check.

Authored by: dwarren 2019-01-22

Browse code at this revision

Parent: [r9472]

Child: [r9474]

changed	/trunk/XSB/cmplib/auxlry.D
changed	/trunk/XSB/cmplib/compile.D
changed	/trunk/XSB/cmplib/compile.P
changed	/trunk/XSB/cmplib/compile.xwam
changed	/trunk/XSB/cmplib/modeinf.D
changed	/trunk/XSB/cmplib/modeinf.P
changed	/trunk/XSB/cmplib/modeinf.xwam
changed	/trunk/XSB/cmplib/parse.D
changed	/trunk/XSB/cmplib/preproc.D
changed	/trunk/XSB/cmplib/suppltab.D
changed	/trunk/XSB/cmplib/tp_cond.D
changed	/trunk/XSB/cmplib/tp_cond.P
changed	/trunk/XSB/cmplib/tp_eval.D
changed	/trunk/XSB/cmplib/tp_eval.P
changed	/trunk/XSB/cmplib/tp_goal.D
changed	/trunk/XSB/cmplib/tp_var.D
changed	/trunk/XSB/cmplib/tp_var.P
changed	/trunk/XSB/cmplib/tpinline.D
changed	/trunk/XSB/cmplib/tpinline.P
changed	/trunk/XSB/cmplib/tprog.D
changed	/trunk/XSB/cmplib/tprog.P
changed	/trunk/XSB/cmplib/useinfer.P
changed	/trunk/XSB/cmplib/useinfer.xwam

/trunk/XSB/cmplib/auxlry.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/compile.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/compile.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/compile.xwam

Binary file was changed.

/trunk/XSB/cmplib/modeinf.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/modeinf.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/modeinf.xwam

Binary file was changed.

/trunk/XSB/cmplib/parse.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/preproc.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/suppltab.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_cond.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_cond.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_eval.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_eval.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_goal.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_var.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tp_var.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/tpinline.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tpinline.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/tprog.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/tprog.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/useinfer.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/useinfer.xwam

Binary file was changed.