Flora-2 Flora-2 Sources

Brought to you by: kifer

• Summary
• Files
• Reviews
• Support
• Wiki
• Mailing Lists
• Tickets ▾
  • Bugs
  • Support Requests
  • Feature requests
• News
• SVN ▾
  • Rulelog spec
  • Flora-2 Sources

Menu ▾ ▴

 

• Browse Commits
• Browse Files

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 .. 33 34 35 36 37 .. 84 > >> (Page 35 of 84)

added	/trunk/flora2-testsuite/defeasible/refute_clp/defeasible_load.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/defeasible_load_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/defeasible_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible2.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible2_load.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible2_load_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible2_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible_load.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible_load_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/paul_defeasible_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/strict.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/strict_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1_load.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1_load_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2_load.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2_load_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests_load.flr
added	/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests_load_old
added	/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests_old

/trunk/flora2-testsuite/defeasible/refute_clp/defeasible_load.flr Diff Switch to side-by-side view

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

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

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

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

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

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

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

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

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

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

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

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

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

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1_load.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox1_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2_load.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/temp_paradox2_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests_load.flr Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests_load_old Diff Switch to side-by-side view

/trunk/flora2-testsuite/defeasible/refute_clp/tricky_tests_old Diff Switch to side-by-side view

<< < 1 .. 33 34 35 36 37 .. 84 > >> (Page 35 of 84)

✕