XSB Src (SVN)-old

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

Commit [r9489] Maximize Restore History

Add mode declarations, and some minor checks, to ensure that all syslib file pass groundedness mode checking.

Authored by: dwarren 2019-01-28

Browse code at this revision

Parent: [r9488]

Child: [r9490]

<< < 1 2 3 (Page 3 of 3)

changed	/trunk/XSB/syslib/string.P
changed	/trunk/XSB/syslib/string.xwam
changed	/trunk/XSB/syslib/sub_atom.P
changed	/trunk/XSB/syslib/sub_atom.xwam
changed	/trunk/XSB/syslib/subsumes.P
changed	/trunk/XSB/syslib/sysinitrc.P
changed	/trunk/XSB/syslib/tables.H
changed	/trunk/XSB/syslib/tables.P
changed	/trunk/XSB/syslib/tables.xwam
changed	/trunk/XSB/syslib/thread.H
changed	/trunk/XSB/syslib/thread.P
changed	/trunk/XSB/syslib/thread.xwam
changed	/trunk/XSB/syslib/unix.P
changed	/trunk/XSB/syslib/write_term.P
changed	/trunk/XSB/syslib/write_term.xwam
changed	/trunk/XSB/syslib/x_interp.H
changed	/trunk/XSB/syslib/x_interp.P
changed	/trunk/XSB/syslib/x_interp.xwam
changed	/trunk/XSB/syslib/xcallxsb.H
changed	/trunk/XSB/syslib/xsb_read.P
changed	/trunk/XSB/syslib/xsb_read.xwam
changed	/trunk/XSB/syslib/xsb_writ.P
changed	/trunk/XSB/syslib/xsbbrat.P

/trunk/XSB/syslib/string.P Diff Switch to side-by-side view

/trunk/XSB/syslib/string.xwam

Binary file was changed.

/trunk/XSB/syslib/sub_atom.P Diff Switch to side-by-side view

/trunk/XSB/syslib/sub_atom.xwam

Binary file was changed.

/trunk/XSB/syslib/subsumes.P Diff Switch to side-by-side view

/trunk/XSB/syslib/sysinitrc.P Diff Switch to side-by-side view

/trunk/XSB/syslib/tables.H Diff Switch to side-by-side view

/trunk/XSB/syslib/tables.P Diff Switch to side-by-side view

/trunk/XSB/syslib/tables.xwam

Binary file was changed.

/trunk/XSB/syslib/thread.H Diff Switch to side-by-side view

/trunk/XSB/syslib/thread.P Diff Switch to side-by-side view

/trunk/XSB/syslib/thread.xwam

Binary file was changed.

/trunk/XSB/syslib/unix.P Diff Switch to side-by-side view

/trunk/XSB/syslib/write_term.P Diff Switch to side-by-side view

/trunk/XSB/syslib/write_term.xwam

Binary file was changed.

/trunk/XSB/syslib/x_interp.H Diff Switch to side-by-side view

/trunk/XSB/syslib/x_interp.P Diff Switch to side-by-side view

/trunk/XSB/syslib/x_interp.xwam

Binary file was changed.

/trunk/XSB/syslib/xcallxsb.H Diff Switch to side-by-side view

/trunk/XSB/syslib/xsb_read.P Diff Switch to side-by-side view

/trunk/XSB/syslib/xsb_read.xwam

Binary file was changed.

/trunk/XSB/syslib/xsb_writ.P Diff Switch to side-by-side view

/trunk/XSB/syslib/xsbbrat.P Diff Switch to side-by-side view

<< < 1 2 3 (Page 3 of 3)