Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [Public] / 2000 / 10 / swap / test / reason
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[DIR]](/icons/dir.gif){kind=icon}
Attic/
[Don't hide] | ||||
![[TXT]](/icons/text.gif){kind=icon}
detailed.tests
| 1.10 | 8 months | syosi | remove failing test (not ideal) and add a documentation line |
|
longChain.n3
| 1.1 | 9 months | syosi | an example where smarter rule running can have a huge advantage |
|
poor-urop.n3
| 1.2 | 13 months | syosi | A month of changes |
|
single_gen.n3
| 1.1 | 13 months | syosi | A month of changes |
|
socrates.n3
| 1.3 | 14 months | syosi | The release process succeeded! |
|
double.n3
| 1.1 | 18 months | syosi | proofs are more correct, after adding test/reason/double.n3, but nowhere near pe... |
|
witch-pf-pml.rdf
| 1.2 | 19 months | connolly | add ID to proof step |
|
witch-goal.n3
| 1.1 | 20 months | connolly | burn the witch example from Monty Python via Clark and Parsia |
|
witch-pf.n3
| 1.1 | 20 months | connolly | burn the witch example from Monty Python via Clark and Parsia |
|
witch-pf.txt
| 1.1 | 20 months | connolly | burn the witch example from Monty Python via Clark and Parsia |
|
witch.n3
| 1.1 | 20 months | connolly | burn the witch example from Monty Python via Clark and Parsia |
|
soc-goal.n3
| 1.3 | 22 months | connolly | put variable in object rather than predicate |
|
soc-rdfs.n3
| 1.1 | 22 months | connolly | socrates arg with subClassOf |
|
conf_reg_ex.n3
| 1.1 | 23 months | connolly | vegetarian example from budapest tutorial |
|
joe_profile.n3
| 1.1 | 23 months | connolly | vegetarian example from budapest tutorial |
|
gmpbnode.n3
| 1.1 | 2 years | connolly | see also problem report to public-cwm-talk |
|
danc.n3
| 1.1 | 2 years | syosi | we seem to have (mostly) stabilized |
|
rename-loop.n3
| 1.2 | 2 years | syosi | we seem to have (mostly) stabilized |
|
timbl.n3
| 1.1 | 2 years | syosi | we seem to have (mostly) stabilized |
|
reason-report.n3
| 1.2 | 2 years | connolly | sorta working |
|
animals-proof.n3
| 1.3 | 2 years | connolly | regen from desktop. any different? |
|
animals-proof.pml
| 1.2 | 2 years | connolly | regen from desktop. any different? |
|
Makefile
| 1.10 | 2 years | connolly | gen pml |
|
animal-goal.n3
| 1.1 | 2 years | connolly | TAMI proof non-trivial example |
|
animals.n3
| 1.1 | 2 years | connolly | TAMI proof non-trivial example |
|
t1.pml
| 1.1 | 2 years | connolly | for working with li |
|
to-pml.n3
| 1.7 | 2 years | connolly | usage time |
|
pfcheck1.n3
| 1.1 | 2 years | connolly | reproducing paw-proof.n3 bug in smaller scale |
|
paw-proof.n3
| 1.1 | 2 years | timbl | Test case which would intermittently fail check.py |
|
judy-proof.n3
| 1.2 | 2 years | timbl | grouping of statements by reason; Various bugs out, duplicate checking always in... |
|
t9.n3
| 1.2 | 2 years | timbl | grouping of statements by reason; Various bugs out, duplicate checking always in... |
|
README.txt
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
f9.n3
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
iw.n3
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
math-test-works-with-why.n3
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
math-test.n3
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
pml-example.n3
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
pml-example.rdf
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
t4.pml
| 1.3 | 3 years | timbl | *** empty log message *** |
|
t4.n3
| 1.2 | 3 years | timbl | mm |
|
t4.proof
| 1.3 | 3 years | timbl | mm |
|
math-test-bit.n3
| 1.1 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t1.checked
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t1.proof
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t2.checked
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t2.proof
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t3.checked
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t3.proof
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t4.checked
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t5.checked
| 1.2 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
t5.proof
| 1.5 | 3 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
check.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
eric-out.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
t8.n3
| 1.1 | 5 years | timbl | Numeric typres returned by math builtins. See http://www.w3.org/2003/04/08-cwm.h... |
|
e.n3
| 1.1 | 5 years | timbl | Add some missing tests etc |
|
tests.n3
| 1.1 | 5 years | timbl | Add some missing tests etc |
|
eric-out.proof
| 1.1 | 5 years | timbl | mm |
|
eric-a.n3
| 1.1 | 5 years | timbl | mm |
|
eric-b.n3
| 1.1 | 5 years | timbl | mm |
|
t6.n3
| 1.1 | 5 years | timbl | mm |
|
t7.n3
| 1.1 | 5 years | timbl | mm |
|
t3.n3
| 1.2 | 5 years | timbl | --why works up to reason/t5. GK and SBP's list bugs fixed. |
|
t5.n3
| 1.3 | 5 years | timbl | --why works up to reason/t5. GK and SBP's list bugs fixed. |
|
t5-a.proof
| 1.1 | 5 years | timbl | mmref |
|
t2.n3
| 1.1 | 5 years | timbl | Use like: cwm t3.n3 --why |
|
t1.n3
| 1.1 | 5 years | timbl | Simplest test of proof generation! cwm t1.n3 --why |