XSB / Src (SVN)-old / Commit [r9646]

Commit [r9646] Maximize Restore History

pita ported from swi

Authored by: rzf 2019-09-20

Browse code at this revision

Parent: [r9645]

Child: [r9647]

added	/trunk/XSB/packages/pita/auc.pl
added	/trunk/XSB/packages/pita/bddem.H
added	/trunk/XSB/packages/pita/bddem.c
removed	/trunk/XSB/packages/pita/configure
removed	/trunk/XSB/packages/pita/configure.in
added	/trunk/XSB/packages/pita/mcintyre.pl
removed	/trunk/XSB/packages/pita/pita_int.P.in
added	/trunk/XSB/packages/pita/pita_int.pl
removed	/trunk/XSB/packages/pita/pita_lib.H.in
removed	/trunk/XSB/packages/pita/pita_lib.c
added	/trunk/XSB/packages/pita/slipcover.pl
added	/trunk/XSB/packages/pita/test_bddem.pl
added	/trunk/XSB/packages/pita/test_mc.pl
added	/trunk/XSB/packages/pita/test_pita.pl
added	/trunk/XSB/packages/pita/test_sc.pl
added	/trunk/XSB/packages/pita/testmc.pl
removed	/trunk/XSB/packages/pita/testpita.P
added	/trunk/XSB/packages/pita/testpita.pl
added	/trunk/XSB/packages/pita/testsc.pl
added	/trunk/XSB/packages/pita/testsc.sh

/trunk/XSB/packages/pita/auc.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/bddem.H Diff Switch to side-by-side view

/trunk/XSB/packages/pita/bddem.c Diff Switch to side-by-side view

/trunk/XSB/packages/pita/configure

File was removed.

/trunk/XSB/packages/pita/configure.in

File was removed.

/trunk/XSB/packages/pita/mcintyre.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/pita_int.P.in

File was removed.

/trunk/XSB/packages/pita/pita_int.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/pita_lib.H.in

File was removed.

/trunk/XSB/packages/pita/pita_lib.c

File was removed.

/trunk/XSB/packages/pita/slipcover.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/test_bddem.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/test_mc.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/test_pita.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/test_sc.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testmc.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testpita.P

File was removed.

/trunk/XSB/packages/pita/testpita.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testsc.pl Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testsc.sh Diff Switch to side-by-side view