XSB Src (SVN)-old

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

Commit [r9464] Maximize Restore History

Update/improve CR's groundedness mode checker/inferencer and make all compiler modules compliant. Also update the Makefile so remaking the compiler invokes the mode checker/inferencer.

Authored by: dwarren 2019-01-14

Browse code at this revision

Parent: [r9463]

Child: [r9465]

1 2 3 .. 5 > >> (Page 1 of 5)

changed	/trunk/XSB/cmplib/Makefile
changed	/trunk/XSB/cmplib/asm.D
changed	/trunk/XSB/cmplib/asm.P
changed	/trunk/XSB/cmplib/asm.xwam
changed	/trunk/XSB/cmplib/asm_inst.D
changed	/trunk/XSB/cmplib/asm_inst.P
changed	/trunk/XSB/cmplib/asm_opt.D
changed	/trunk/XSB/cmplib/asm_opt.P
changed	/trunk/XSB/cmplib/asmpass2.D
changed	/trunk/XSB/cmplib/asmpass2.P
changed	/trunk/XSB/cmplib/asmpass2.xwam
changed	/trunk/XSB/cmplib/auxlry.D
changed	/trunk/XSB/cmplib/auxlry.P
changed	/trunk/XSB/cmplib/auxlry.xwam
changed	/trunk/XSB/cmplib/builtin.D
changed	/trunk/XSB/cmplib/builtin.P
added	/trunk/XSB/cmplib/ciao_directives.D
changed	/trunk/XSB/cmplib/ciao_directives.P
changed	/trunk/XSB/cmplib/compile.D
changed	/trunk/XSB/cmplib/compile.H
changed	/trunk/XSB/cmplib/compile.P
changed	/trunk/XSB/cmplib/compile.xwam
changed	/trunk/XSB/cmplib/config.D
changed	/trunk/XSB/cmplib/config.P
changed	/trunk/XSB/cmplib/cp_opt.D

/trunk/XSB/cmplib/Makefile Diff Switch to side-by-side view

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

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

/trunk/XSB/cmplib/asm.xwam

Binary file was changed.

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

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

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

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

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

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

/trunk/XSB/cmplib/asmpass2.xwam

Binary file was changed.

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

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

/trunk/XSB/cmplib/auxlry.xwam

Binary file was changed.

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

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

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

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

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

/trunk/XSB/cmplib/compile.H 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/config.D Diff Switch to side-by-side view

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

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

1 2 3 .. 5 > >> (Page 1 of 5)