CVS log for 2000/10/swap/LX/engine/otter.py

Up to [Public] / 2000 / 10 / swap / LX / engine

Request diff between arbitrary revisions

Default branch: 1

Revision 1.13 / (download) - annotate - [select for diffs] , Fri Nov 7 06:53:05 2003 UTC (4 years, 10 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.12: +1 -1 lines
Diff to previous 1.12 (colored)

support for running RDF Core tests

Revision 1.12 / (download) - annotate - [select for diffs] , Wed Sep 3 21:05:27 2003 UTC (5 years ago) by sandro
CVS Tags: runSmart
Changes since 1.11: +10 -3 lines
Diff to previous 1.11 (colored)

gave caller more control over generated filenames

Revision 1.11 / (download) - annotate - [select for diffs] , Fri Aug 1 15:27:21 2003 UTC (5 years, 1 month ago) by sandro
CVS Tags: oldLists
Changes since 1.10: +2 -0 lines
Diff to previous 1.10 (colored)

kind of vaguely working datatype support (for xsd unsigned ints)

Revision 1.10 / (download) - annotate - [select for diffs] , Thu Jul 31 16:16:28 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.9: +3 -1 lines
Diff to previous 1.9 (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.9 / (download) - annotate - [select for diffs] , Thu Jul 31 12:47:27 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.8: +19 -9 lines
Diff to previous 1.8 (colored)

improve handling of keyboard interrupt

Revision 1.8 / (download) - annotate - [select for diffs] , Wed Jul 30 07:01:50 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.7: +3 -2 lines
Diff to previous 1.7 (colored)

fixed to handle 3 and 4 digit PIDs

Revision 1.7 / (download) - annotate - [select for diffs] , Wed Jul 23 19:43:01 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.6: +9 -5 lines
Diff to previous 1.6 (colored)

tweaks to work with surnia

Revision 1.6 / (download) - annotate - [select for diffs] , Sat Jul 12 09:48:28 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.5: +1 -1 lines
Diff to previous 1.5 (colored)

fixed silly mistake in otter input boilerplate

Revision 1.5 / (download) - annotate - [select for diffs] , Fri Feb 14 17:21:59 2003 UTC (5 years, 6 months ago) by sandro
Changes since 1.4: +12 -1 lines
Diff to previous 1.4 (colored)

Switched to import-as-needed for LX languages and engines

Revision 1.4 / (download) - annotate - [select for diffs] , Wed Jan 29 20:59:33 2003 UTC (5 years, 7 months ago) by sandro
Changes since 1.3: +2 -124 lines
Diff to previous 1.3 (colored)

Moved otter language support back from engine/otter to language/otter
Changed cwm.py to use this, and [ --engine=otter --think ] instead of
--check.

Revision 1.3 / (download) - annotate - [select for diffs] , Wed Jan 29 06:09:18 2003 UTC (5 years, 7 months ago) by sandro
Changes since 1.2: +137 -3 lines
Diff to previous 1.2 (colored)

Major shift in style of LX towards using expr.py.  Added some access
to otter, via --check.  Works as described in
http://lists.w3.org/Archives/Public/www-archive/2003Jan/0024
I don't like this UI; I imagine something more like --engine=otter
--think, and --language=otter (instead of --otterDump).
No tests for any of this.

Revision 1.2 / (download) - annotate - [select for diffs] , Thu Oct 3 16:13:03 2002 UTC (5 years, 11 months ago) by sandro
CVS Tags: fast_for_dom
Changes since 1.1: +1 -1 lines
Diff to previous 1.1 (colored)

some minor changes to LX-formula stuff, but it's still broken in ways
that don't show up on the regression test.

mostly: moved llyn-LX conversion stuff out of llyn.py, into
LX.engine.llynInterface.py

Revision 1.1 / (download) - annotate - [select for diffs] , Wed Oct 2 21:34:10 2002 UTC (5 years, 11 months ago) by sandro
Diff

the start of a framework (reusing some old code) for calling out
to external inference engines

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