XSB Src (SVN)-old

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

Commit [r6697] Maximize Restore History

Refactored and expanded code for dynamic/1 and table/1, and made
code for declarations and directives mre similar. I fixed a bug
with dynamic pred as tabled, rewrote some obscure code to fix a
memory leak in double allocation of prrefs, and fixed a bug to
allow static code to be rewritten as nonincremental or as opaque.
Also, I added inconsistency checks for dynamic and tabled
options.

Authored by: tswift 2010-08-07

Browse code at this revision

Parent: [r6696]

Child: [r6698]

changed	/trunk/XSB/syslib/assert.H
changed	/trunk/XSB/syslib/assert.P
changed	/trunk/XSB/syslib/assert.xwam
changed	/trunk/XSB/syslib/file_op.H
changed	/trunk/XSB/syslib/file_op.P
changed	/trunk/XSB/syslib/file_op.xwam
changed	/trunk/XSB/syslib/standard.H
changed	/trunk/XSB/syslib/standard.P
changed	/trunk/XSB/syslib/standard.xwam

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

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

/trunk/XSB/syslib/assert.xwam

Binary file was changed.

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

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

/trunk/XSB/syslib/file_op.xwam

Binary file was changed.

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

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

/trunk/XSB/syslib/standard.xwam

Binary file was changed.