CVS log for 2000/10/swap/surnia/surnia.py

Up to [Public] / 2000 / 10 / swap / surnia

Request diff between arbitrary revisions

Default branch: 1

Revision 1.17 / (download) - annotate - [select for diffs] , Fri Nov 7 16:00:02 2003 UTC (4 years, 7 months ago) by sandro
CVS Tags: yosi-before-setup-py, rel-1-2-0, rel-1-1-perf, rel-1-1-0rc2, rel-1-1-0rc1, rel-1-0-rc1, rel-1-0-0, rel-0-8-set, rel-0-8-0-perf, rel-0-8-0, rel-0-7-3, rel-0-7-2, rel-0-7-1, rel-0-7, pfreport, paw-demo-m1, branch-0-7-3-auto-regfilelist, HEAD
Changes since 1.16: +3 -1 lines
Diff to previous 1.16 (colored)

dont run on datatype tests; our theories are clearly incomplete so we get wrong results

Revision 1.16 / (download) - annotate - [select for diffs] , Fri Nov 7 15:14:26 2003 UTC (4 years, 7 months ago) by sandro
Changes since 1.15: +4 -1 lines
Diff to previous 1.15 (colored)

stop claiming consistency with datatype theories

Revision 1.15 / (download) - annotate - [select for diffs] , Fri Nov 7 06:52:00 2003 UTC (4 years, 7 months ago) by sandro
Changes since 1.14: +64 -11 lines
Diff to previous 1.14 (colored)

up to about 70% on RDF Core tests; may have broken OWL stuff

Revision 1.14 / (download) - annotate - [select for diffs] , Thu Sep 4 03:16:10 2003 UTC (4 years, 10 months ago) by sandro
CVS Tags: runSmart
Changes since 1.13: +70 -9 lines
Diff to previous 1.13 (colored)

getting results to be recorded better

Revision 1.13 / (download) - annotate - [select for diffs] , Wed Aug 27 20:02:12 2003 UTC (4 years, 10 months ago) by sandro
Changes since 1.12: +21 -8 lines
Diff to previous 1.12 (colored)

write test results in RDF (skeletal, not all the information we'd like
to record yet).

Revision 1.12 / (download) - annotate - [select for diffs] , Fri Aug 8 20:59:26 2003 UTC (4 years, 10 months ago) by sandro
Changes since 1.11: +7 -6 lines
Diff to previous 1.11 (colored)

76% !

Revision 1.11 / (download) - annotate - [select for diffs] , Fri Aug 8 19:20:08 2003 UTC (4 years, 10 months ago) by sandro
Changes since 1.10: +6 -3 lines
Diff to previous 1.10 (colored)

with raised time limit, passed 67% of PETs.

Revision 1.10 / (download) - annotate - [select for diffs] , Fri Aug 8 18:53:31 2003 UTC (4 years, 10 months ago) by sandro
Changes since 1.9: +3 -2 lines
Diff to previous 1.9 (colored)

a cardinality test is working!

Revision 1.9 / (download) - annotate - [select for diffs] , Fri Aug 1 16:17:12 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.8: +8 -8 lines
Diff to previous 1.8 (colored)

tweaking test config

Revision 1.8 / (download) - annotate - [select for diffs] , Fri Aug 1 04:24:29 2003 UTC (4 years, 11 months ago) by sandro
CVS Tags: oldLists
Changes since 1.7: +14 -7 lines
Diff to previous 1.7 (colored)

intermediate; about to play with paramodulation

Revision 1.7 / (download) - annotate - [select for diffs] , Thu Jul 31 16:16:27 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.6: +6 -3 lines
Diff to previous 1.6 (colored)

told otter to control_memory, speeding us up enough to pass
(Inverse)FunctionProperty/004 again in ~5 instead of ~30.
Of 46 tests, 28 passed, 12 unknown, 6 skipped for dt.

Revision 1.6 / (download) - annotate - [select for diffs] , Thu Jul 31 12:47:26 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.5: +5 -2 lines
Diff to previous 1.5 (colored)

improve handling of keyboard interrupt

Revision 1.5 / (download) - annotate - [select for diffs] , Thu Jul 31 04:35:09 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.4: +27 -18 lines
Diff to previous 1.4 (colored)

Added a way for certain tests to use subset of the full set of
axioms; I'm starting to hit a wall where adding the details needed
to pass one test makes the others become too slow.   Sometimes we
can subset the axioms to make a test pass quickly, but that wont
work for sufficiently complex expressions, will it?   Still, maybe
we can partition same/different from union/intersection from property
logic, ...

Revision 1.4 / (download) - annotate - [select for diffs] , Wed Jul 30 06:51:07 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.3: +13 -4 lines
Diff to previous 1.3 (colored)

dropped test times as performance improved, added some 0.001 one times for not-implemented tests

Revision 1.3 / (download) - annotate - [select for diffs] , Wed Jul 30 05:52:35 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.2: +2 -1 lines
Diff to previous 1.2 (colored)

added a timeout exception

Revision 1.2 / (download) - annotate - [select for diffs] , Wed Jul 30 05:27:47 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.1: +9 -2 lines
Diff to previous 1.1 (colored)

added some per-test special timeouts (special case for now)

Revision 1.1 / (download) - annotate - [select for diffs] , Wed Jul 23 19:42:01 2003 UTC (4 years, 11 months ago) by sandro
Diff

renamed owlTester.py, somewhat repackaged and improved

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

Webmaster