XSB Src (SVN)-old

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

Commit [r9717] Maximize Restore History

Adding more subsumptive, incremental tests.

Authored by: tswift 2019-11-19

Browse code at this revision

Parent: [r9716]

Child: [r9718]

1 2 > >> (Page 1 of 2)

added	/trunk/xsbtests/incremental_tests/s_inc_abol.P
added	/trunk/xsbtests/incremental_tests/s_inc_abol_old
added	/trunk/xsbtests/incremental_tests/s_inc_atc.P
added	/trunk/xsbtests/incremental_tests/s_inc_atc_gc.P
added	/trunk/xsbtests/incremental_tests/s_inc_atc_gc_old
added	/trunk/xsbtests/incremental_tests/s_inc_atc_gc_tricky.P
added	/trunk/xsbtests/incremental_tests/s_inc_atc_gc_tricky_old
added	/trunk/xsbtests/incremental_tests/s_inc_atc_old
added	/trunk/xsbtests/incremental_tests/s_inc_trie_alt.P
added	/trunk/xsbtests/incremental_tests/s_inc_trie_alt_1.P
added	/trunk/xsbtests/incremental_tests/s_inc_trie_alt_old
added	/trunk/xsbtests/incremental_tests/s_inc_trie_dyn.P
added	/trunk/xsbtests/incremental_tests/s_inc_trie_dyn_old
added	/trunk/xsbtests/incremental_tests/s_incr_scc.P
added	/trunk/xsbtests/incremental_tests/s_incr_scc_old
added	/trunk/xsbtests/incremental_tests/s_incr_test_romero.P
added	/trunk/xsbtests/incremental_tests/s_incr_test_romero_old
added	/trunk/xsbtests/incremental_tests/s_incremental.P
added	/trunk/xsbtests/incremental_tests/s_incremental1.P
added	/trunk/xsbtests/incremental_tests/s_incremental1_1.P
added	/trunk/xsbtests/incremental_tests/s_incremental1_old
added	/trunk/xsbtests/incremental_tests/s_incremental_old
added	/trunk/xsbtests/incremental_tests/s_incremental_rule.P
added	/trunk/xsbtests/incremental_tests/s_incremental_rule_alt.P
added	/trunk/xsbtests/incremental_tests/s_incremental_rule_alt_old

/trunk/xsbtests/incremental_tests/s_inc_abol.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_abol_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_atc.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_atc_gc.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_atc_gc_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_atc_gc_tricky.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_atc_gc_tricky_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_atc_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_trie_alt.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_trie_alt_1.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_trie_alt_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_trie_dyn.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_inc_trie_dyn_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incr_scc.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incr_scc_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incr_test_romero.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incr_test_romero_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental1.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental1_1.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental1_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental_old Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental_rule.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental_rule_alt.P Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/s_incremental_rule_alt_old Diff Switch to side-by-side view

1 2 > >> (Page 1 of 2)