CVS log for 2000/10/swap/LX/expr.py

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

Request diff between arbitrary revisions

Default branch: 1

Revision 1.11 / (download) - annotate - [select for diffs] , Wed Sep 17 16:13:56 2003 UTC (4 years, 9 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.10: +77 -42 lines
Diff to previous 1.10 (colored)

now self-interning and supporting pickle

Revision 1.10 / (download) - annotate - [select for diffs] , Wed Sep 10 20:12:04 2003 UTC (4 years, 9 months ago) by sandro
Changes since 1.9: +46 -3 lines
Diff to previous 1.9 (colored)

added some get-as-RDF functions

Revision 1.9 / (download) - annotate - [select for diffs] , Fri Aug 1 15:27:21 2003 UTC (4 years, 11 months ago) by sandro
CVS Tags: runSmart, oldLists
Changes since 1.8: +22 -2 lines
Diff to previous 1.8 (colored)

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

Revision 1.8 / (download) - annotate - [select for diffs] , Thu Jul 31 18:25:15 2003 UTC (4 years, 11 months ago) by sandro
Changes since 1.7: +18 -11 lines
Diff to previous 1.7 (colored)

some unknown earlier changes...
PLUS increasing support for datatype values

Revision 1.7 / (download) - annotate - [select for diffs] , Sat Feb 1 05:58:10 2003 UTC (5 years, 5 months ago) by sandro
Changes since 1.6: +12 -4 lines
Diff to previous 1.6 (colored)

intermediate lbase support; getting there but buggy; commented out some fol chreccks

Revision 1.6 / (download) - annotate - [select for diffs] , Wed Jan 29 06:09:18 2003 UTC (5 years, 5 months ago) by sandro
Changes since 1.5: +19 -9 lines
Diff to previous 1.5 (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.5 / (download) - annotate - [select for diffs] , Wed Jan 8 12:38:38 2003 UTC (5 years, 5 months ago) by sandro
Changes since 1.4: +141 -13 lines
Diff to previous 1.4 (colored)

Added serializeWithOperators(), taken from the old language/abstract.py

Revision 1.4 / (download) - annotate - [select for diffs] , Thu Oct 3 16:13:02 2002 UTC (5 years, 9 months ago) by sandro
CVS Tags: fast_for_dom
Changes since 1.3: +5 -29 lines
Diff to previous 1.3 (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.3 / (download) - annotate - [select for diffs] , Wed Sep 18 19:56:46 2002 UTC (5 years, 9 months ago) by sandro
Changes since 1.2: +82 -62 lines
Diff to previous 1.2 (colored)

more refactoring, added some unit tests, stricter notion of typing

Revision 1.2 / (download) - annotate - [select for diffs] , Mon Sep 2 20:10:44 2002 UTC (5 years, 10 months ago) by sandro
Changes since 1.1: +59 -162 lines
Diff to previous 1.1 (colored)

factored FOL code out of expr.py (and into firstOrderLogic.py), to try to keep it simple enough.  Lost propositions, doctests.

Revision 1.1 / (download) - annotate - [select for diffs] , Sat Aug 31 19:43:23 2002 UTC (5 years, 10 months ago) by sandro
Diff

a new factoring, combining Term and Formula; not quite ready to replace the others, but passing its unit tests (I just discovered doctest)

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