XSB Src (SVN)-old

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

Commit [r4784] Maximize Restore History

Changed compiler to set a "defined" bit in symbol table record in

the object code file to indicate that a predicate is has clauses defining
it. To enable the "table" bit to be handled correctly in usermod with
reloading (or using) of tabled predicates.
And all the .xwam files change due to this change.

Authored by: dwarren 2006-05-02

Browse code at this revision

Parent: [r4783]

Child: [r4785]

1 2 > >> (Page 1 of 2)

changed	/trunk/XSB/cmplib/asm.xwam
changed	/trunk/XSB/cmplib/asm_inst.xwam
changed	/trunk/XSB/cmplib/asm_opt.xwam
changed	/trunk/XSB/cmplib/asmpass2.P
changed	/trunk/XSB/cmplib/asmpass2.xwam
changed	/trunk/XSB/cmplib/auxlry.xwam
changed	/trunk/XSB/cmplib/builtin.xwam
changed	/trunk/XSB/cmplib/ciao_directives.xwam
changed	/trunk/XSB/cmplib/compile.xwam
changed	/trunk/XSB/cmplib/config.xwam
changed	/trunk/XSB/cmplib/cp_opt.xwam
changed	/trunk/XSB/cmplib/cutcheck.xwam
changed	/trunk/XSB/cmplib/flatten.xwam
changed	/trunk/XSB/cmplib/inprog.xwam
changed	/trunk/XSB/cmplib/listutil.xwam
changed	/trunk/XSB/cmplib/makemode.xwam
changed	/trunk/XSB/cmplib/modeinf.xwam
changed	/trunk/XSB/cmplib/modes.xwam
changed	/trunk/XSB/cmplib/parse.xwam
changed	/trunk/XSB/cmplib/peephole.xwam
changed	/trunk/XSB/cmplib/pre_cond.xwam
changed	/trunk/XSB/cmplib/preproc.xwam
changed	/trunk/XSB/cmplib/printres.xwam
changed	/trunk/XSB/cmplib/prof_sbp.xwam
changed	/trunk/XSB/cmplib/sanity.xwam