CVS log for 2000/10/swap/why.html

Up to [Public] / 2000 / 10 / swap

Request diff between arbitrary revisions

Default branch: 1

Revision 1.18 / (download) / (as text) - annotate - [select for diffs] , Sun Dec 16 01:06:11 2007 UTC (4 months, 3 weeks ago) by syosi
CVS Tags: rel-1-2-0, HEAD
Changes since 1.17: +3 -3 lines
Diff to previous 1.17 (colored)

created the cwm 1.2 release.

Still need to announce / update documentation

Revision 1.17 / (download) / (as text) - annotate - [select for diffs] , Wed Jun 27 17:58:39 2007 UTC (10 months, 2 weeks ago) by syosi
Changes since 1.16: +6 -4 lines
Diff to previous 1.16 (colored)

The release process succeeded!

Revision 1.16 / (download) / (as text) - annotate - [select for diffs] , Wed Aug 9 23:20:42 2006 UTC (21 months ago) by syosi
CVS Tags: pfreport
Changes since 1.15: +187 -66 lines
Diff to previous 1.15 (colored)

proof that release process still works

Revision 1.15 / (download) / (as text) - annotate - [select for diffs] , Fri Sep 2 18:19:26 2005 UTC (2 years, 8 months ago) by syosi
CVS Tags: rel-1-1-0rc2, paw-demo-m1
Changes since 1.14: +1 -1 lines
Diff to previous 1.14 (colored)

1.0rc2

Revision 1.14 / (download) / (as text) - annotate - [select for diffs] , Wed Aug 10 15:05:38 2005 UTC (2 years, 9 months ago) by syosi
CVS Tags: rel-1-1-0rc1
Changes since 1.13: +1 -1 lines
Diff to previous 1.13 (colored)

a few changes before release

Revision 1.13 / (download) / (as text) - annotate - [select for diffs] , Sun Aug 8 01:44:49 2004 UTC (3 years, 9 months ago) by syosi
CVS Tags: rel-1-1-perf, rel-1-0-rc1, rel-1-0-0
Changes since 1.12: +51 -107 lines
Diff to previous 1.12 (colored)

undo what I did last thing Friday. Those changes are nowhere near ready for the trunk

Revision 1.12 / (download) / (as text) - annotate - [select for diffs] , Fri Aug 6 19:11:52 2004 UTC (3 years, 9 months ago) by syosi
Changes since 1.11: +107 -51 lines
Diff to previous 1.11 (colored)

so I have stuff to work on at home

Revision 1.11 / (download) / (as text) - annotate - [select for diffs] , Tue Aug 3 18:56:57 2004 UTC (3 years, 9 months ago) by syosi
CVS Tags: rel-0-8-set
Changes since 1.10: +51 -107 lines
Diff to previous 1.10 (colored)

make sure make dist_tarball does not leave around a swap/swap directory to confuse things

Revision 1.10 / (download) / (as text) - annotate - [select for diffs] , Thu Jun 24 03:17:12 2004 UTC (3 years, 10 months ago) by timbl
CVS Tags: yosi-before-setup-py, rel-0-8-0-perf, rel-0-8-0
Changes since 1.9: +19 -85 lines
Diff to previous 1.9 (colored)

Reification continues

Revision 1.9 / (download) / (as text) - annotate - [select for diffs] , Sun Sep 14 20:20:25 2003 UTC (4 years, 7 months ago) by timbl
CVS Tags: rel-0-7-3, rel-0-7-2, rel-0-7-1, rel-0-7, branch-0-7-3-auto-regfilelist
Changes since 1.8: +1 -1 lines
Diff to previous 1.8 (colored)

Merged runSmart branh, which now passes tests.
The main change is that query.n3 mapps the rules before executing them,
and then exeutes them in an order which takes account of the
interdependencies between rules.  Cyclic subsystems of rules are
isoplated, and then the rules and those subsystems formed into a DAG
and executed in a topological ordering.  This is not a full rete
system yet.
The regression test file infor and program retest.py have changed
a little, working toward resuse of tests between applications.

Revision 1.8.2.1 / (download) / (as text) - annotate - [select for diffs] , Sun Sep 14 13:13:37 2003 UTC (4 years, 7 months ago) by timbl
Branch: runSmart
Changes since 1.8: +1 -1 lines
Diff to previous 1.8 (colored) next main 1.9 (colored)

Passes regression test. (make release)

Revision 1.8 / (download) / (as text) - annotate - [select for diffs] , Mon Aug 25 14:54:54 2003 UTC (4 years, 8 months ago) by timbl
Branch point for: runSmart
Changes since 1.7: +7 -5 lines
Diff to previous 1.7 (colored)

Passes regression test. (make release)

Revision 1.7 / (download) / (as text) - annotate - [select for diffs] , Tue Apr 8 16:12:44 2003 UTC (5 years, 1 month ago) by timbl
CVS Tags: oldLists
Changes since 1.6: +4 -4 lines
Diff to previous 1.6 (colored)

Numeric typres returned by math builtins. See http://www.w3.org/2003/04/08-cwm.html

Revision 1.6 / (download) / (as text) - annotate - [select for diffs] , Fri Jan 10 17:13:16 2003 UTC (5 years, 4 months ago) by timbl
Changes since 1.5: +133 -2 lines
Diff to previous 1.5 (colored)

Works without proof stuff, working on proof stuff....

Revision 1.5 / (download) / (as text) - annotate - [select for diffs] , Tue Dec 31 05:50:30 2002 UTC (5 years, 4 months ago) by timbl
Changes since 1.4: +9 -5 lines
Diff to previous 1.4 (colored)

Simplied the interface to built-in function modules. retest ok

Revision 1.4 / (download) / (as text) - annotate - [select for diffs] , Mon Dec 30 15:00:34 2002 UTC (5 years, 4 months ago) by timbl
Changes since 1.3: +9 -87 lines
Diff to previous 1.3 (colored)

--why works up to reason/t5. GK and SBP's list bugs fixed.

Revision 1.3 / (download) / (as text) - annotate - [select for diffs] , Wed Dec 25 20:01:32 2002 UTC (5 years, 4 months ago) by timbl
Changes since 1.2: +107 -17 lines
Diff to previous 1.2 (colored)

some --flatten tests fail. --why fails. Formulae must be closed to be referenced in a add()

Revision 1.2 / (download) / (as text) - annotate - [select for diffs] , Sun Dec 8 05:30:35 2002 UTC (5 years, 5 months ago) by timbl
Changes since 1.1: +1 -1 lines
Diff to previous 1.1 (colored)

mmm

Revision 1.1 / (download) / (as text) - annotate - [select for diffs] , Sat Dec 7 23:43:28 2002 UTC (5 years, 5 months ago) by timbl
Diff

Rearranged proof ontology again...

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