XSB Src (SVN)-old

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

Commit [r7771] Maximize Restore History

MANY Changes to implement hash-consing (or interning of ground structures).

Obviously, many major changes.
A couple of other bugs fixed (in particular 64-bit hashing issue.)

Authored by: dwarren 2013-05-06

Browse code at this revision

Parent: [r7770]

Child: [r7772]

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

changed	/trunk/XSB/lib/xsb_profiling.P
changed	/trunk/XSB/packages/altCDF/cdf_checks.P
changed	/trunk/XSB/packages/altCDF/cdf_config.P
changed	/trunk/XSB/packages/altCDF/cdf_init_cdf.P
changed	/trunk/XSB/packages/altCDF/cdf_io.P
changed	/trunk/XSB/packages/altCDF/cdf_oblivion.P
changed	/trunk/XSB/packages/altCDF/cdftp/cdftp_rules.P
changed	/trunk/XSB/packages/curl/cc/curl2pl.c
changed	/trunk/XSB/packages/sgml.P
changed	/trunk/XSB/packages/sgml/cc/fetch_file.c
changed	/trunk/XSB/packages/sgml/cc/parser.c
changed	/trunk/XSB/packages/sgml/cc/sgml2pl.c
changed	/trunk/XSB/packages/sgml/cc/util.c
changed	/trunk/XSB/packages/sgml/sgmlconfig.P
changed	/trunk/XSB/packages/w4/builtins.P
changed	/trunk/XSB/packages/w4/xml.P
changed	/trunk/XSB/prolog-commons/c_pairs.pl
changed	/trunk/XSB/syslib/assert.H
changed	/trunk/XSB/syslib/assert.P
changed	/trunk/XSB/syslib/assert.xwam
changed	/trunk/XSB/syslib/debugger.xwam
changed	/trunk/XSB/syslib/error_handler.H
changed	/trunk/XSB/syslib/error_handler.P
changed	/trunk/XSB/syslib/error_handler.xwam
changed	/trunk/XSB/syslib/loader.P

/trunk/XSB/lib/xsb_profiling.P Diff Switch to side-by-side view

/trunk/XSB/packages/altCDF/cdf_checks.P Diff Switch to side-by-side view

/trunk/XSB/packages/altCDF/cdf_config.P Diff Switch to side-by-side view

/trunk/XSB/packages/altCDF/cdf_init_cdf.P Diff Switch to side-by-side view

/trunk/XSB/packages/altCDF/cdf_io.P Diff Switch to side-by-side view

/trunk/XSB/packages/altCDF/cdf_oblivion.P Diff Switch to side-by-side view

/trunk/XSB/packages/altCDF/cdftp/cdftp_rules.P Diff Switch to side-by-side view

/trunk/XSB/packages/curl/cc/curl2pl.c Diff Switch to side-by-side view

/trunk/XSB/packages/sgml.P Diff Switch to side-by-side view

/trunk/XSB/packages/sgml/cc/fetch_file.c Diff Switch to side-by-side view

/trunk/XSB/packages/sgml/cc/parser.c Diff Switch to side-by-side view

/trunk/XSB/packages/sgml/cc/sgml2pl.c Diff Switch to side-by-side view

/trunk/XSB/packages/sgml/cc/util.c Diff Switch to side-by-side view

/trunk/XSB/packages/sgml/sgmlconfig.P Diff Switch to side-by-side view

/trunk/XSB/packages/w4/builtins.P Diff Switch to side-by-side view

/trunk/XSB/packages/w4/xml.P Diff Switch to side-by-side view

/trunk/XSB/prolog-commons/c_pairs.pl Diff Switch to side-by-side view

/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/debugger.xwam

Binary file was changed.

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

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

/trunk/XSB/syslib/error_handler.xwam

Binary file was changed.

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

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