Flora-2 Flora-2 Sources

Brought to you by: kifer

Commit [r2] Maximize Restore History

merged the flora portion

Authored by: "kifer" 2020-12-31

Browse code at this revision

Parent: [r1]

Child: [r3]

<< < 1 .. 15 16 17 18 19 .. 84 > >> (Page 17 of 84)

added	/trunk/flora2-testsuite/defeasible/atck1/defeasible_load_old
added	/trunk/flora2-testsuite/defeasible/atck1/defeasible_old
added	/trunk/flora2-testsuite/defeasible/atck1/drive.flr
added	/trunk/flora2-testsuite/defeasible/atck1/drive_old
added	/trunk/flora2-testsuite/defeasible/atck1/drive_seattle.flr
added	/trunk/flora2-testsuite/defeasible/atck1/drive_seattle_old
added	/trunk/flora2-testsuite/defeasible/atck1/maxcard1.flr
added	/trunk/flora2-testsuite/defeasible/atck1/maxcard1_old
added	/trunk/flora2-testsuite/defeasible/atck1/maxcard2.flr
added	/trunk/flora2-testsuite/defeasible/atck1/maxcard2_old
added	/trunk/flora2-testsuite/defeasible/atck1/mutex_tests.flr
added	/trunk/flora2-testsuite/defeasible/atck1/mutex_tests_load.flr
added	/trunk/flora2-testsuite/defeasible/atck1/mutex_tests_load_old
added	/trunk/flora2-testsuite/defeasible/atck1/mutex_tests_old
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible.flr
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2_load.flr
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2_load_old
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2_old
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible_load.flr
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible_load_old
added	/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible_old
added	/trunk/flora2-testsuite/defeasible/atck1/strict.flr
added	/trunk/flora2-testsuite/defeasible/atck1/strict_old
added	/trunk/flora2-testsuite/defeasible/atck1/temp_paradox1.flr

/trunk/flora2-testsuite/defeasible/atck1/defeasible_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/defeasible_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/drive.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/drive_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/drive_seattle.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/drive_seattle_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/maxcard1.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/maxcard1_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/maxcard2.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/maxcard2_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/mutex_tests.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/mutex_tests_load.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/mutex_tests_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/mutex_tests_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2_load.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible_load.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/paul_defeasible_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/strict.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/strict_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/atck1/temp_paradox1.flr Diff Switch to side-by-side view

<< < 1 .. 15 16 17 18 19 .. 84 > >> (Page 17 of 84)