Menu

Commit [r2]  Maximize  Restore  History

merged the flora portion

"kifer" 2020-12-31

<< < 1 .. 28 29 30 31 32 .. 84 > >> (Page 30 of 84)
added /trunk/flora2-testsuite/defeasible/atco3/tricky_tests_load.flr
added /trunk/flora2-testsuite/defeasible/atco3/tricky_tests_load_old
added /trunk/flora2-testsuite/defeasible/atco3/tricky_tests_old
added /trunk/flora2-testsuite/defeasible/new_gclp
added /trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/actions_load.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/actions_load_old
added /trunk/flora2-testsuite/defeasible/new_gclp/actions_old
added /trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/cancel_test_load.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/cancel_test_load_old
added /trunk/flora2-testsuite/defeasible/new_gclp/cancel_test_old
added /trunk/flora2-testsuite/defeasible/new_gclp/credit_card.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/credit_card_load.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/credit_card_load_old
added /trunk/flora2-testsuite/defeasible/new_gclp/credit_card_old
added /trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load_old
added /trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old
added /trunk/flora2-testsuite/defeasible/new_gclp/defeasible.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test_load.flr
added /trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test_load_old
added /trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test_old
/trunk/flora2-testsuite/defeasible/atco3/tricky_tests_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atco3/tricky_tests_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atco3/tricky_tests_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/actions.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/actions_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/actions_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/actions_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/cancel_test_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/cancel_test_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/cancel_test_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/credit_card.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/credit_card_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/credit_card_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/credit_card_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defeasible.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test_old Diff Switch to side-by-side view
Loading...
<< < 1 .. 28 29 30 31 32 .. 84 > >> (Page 30 of 84)