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 4 5 > >> (Page 3 of 5)

changed	/trunk/XSB/cmplib/preproc.D
changed	/trunk/XSB/cmplib/printres.D
changed	/trunk/XSB/cmplib/printres.P
changed	/trunk/XSB/cmplib/prof_sbp.D
changed	/trunk/XSB/cmplib/prof_sbp.P
changed	/trunk/XSB/cmplib/sanity.D
changed	/trunk/XSB/cmplib/sanity.P
changed	/trunk/XSB/cmplib/singlton.D
changed	/trunk/XSB/cmplib/singlton.P
changed	/trunk/XSB/cmplib/singlton.xwam
changed	/trunk/XSB/cmplib/spec.D
changed	/trunk/XSB/cmplib/spec.P
changed	/trunk/XSB/cmplib/spec.xwam
changed	/trunk/XSB/cmplib/stdmodes.D
changed	/trunk/XSB/cmplib/suppltab.D
changed	/trunk/XSB/cmplib/suppltab.P
changed	/trunk/XSB/cmplib/suppltab.xwam
changed	/trunk/XSB/cmplib/symtab.D
changed	/trunk/XSB/cmplib/symtab.H
changed	/trunk/XSB/cmplib/symtab.P
changed	/trunk/XSB/cmplib/symtab.xwam
changed	/trunk/XSB/cmplib/tabdef.D
changed	/trunk/XSB/cmplib/tabdef.P
added	/trunk/XSB/cmplib/ti_mod.D
changed	/trunk/XSB/cmplib/ti_mod.P

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

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

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

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

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

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

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

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

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

/trunk/XSB/cmplib/singlton.xwam

Binary file was changed.

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

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

/trunk/XSB/cmplib/spec.xwam

Binary file was changed.

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

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

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

/trunk/XSB/cmplib/suppltab.xwam

Binary file was changed.

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

/trunk/XSB/cmplib/symtab.H Diff Switch to side-by-side view

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

/trunk/XSB/cmplib/symtab.xwam

Binary file was changed.

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

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

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

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

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