| Fri, 04 May 2012 11:55:46 +0200 |
Ren? Thiemann |
added checkEquality for complexity problems
default tip
|
changeset |
files
|
| Wed, 02 May 2012 14:52:04 +0200 |
Ren? Thiemann |
adapted nonloop examples to more verbose proof format
|
changeset |
files
|
| Wed, 02 May 2012 14:49:23 +0200 |
Ren? Thiemann |
pretty printer for nonloops
|
changeset |
files
|
| Wed, 02 May 2012 13:33:27 +0200 |
Ren? Thiemann |
integrated comment that currently no output of pattern terms is possible, therefore added intermediate pattern rules explicitly
|
changeset |
files
|
| Wed, 02 May 2012 12:51:54 +0200 |
Ren? Thiemann |
added element for removing equality rules for relative rewriting
|
changeset |
files
|
| Wed, 02 May 2012 09:32:58 +0200 |
Ren? Thiemann |
reordered elements
|
changeset |
files
|
| Mon, 30 Apr 2012 13:38:13 +0200 |
Ren? Thiemann |
slight generalization for non-joining sequence for crDisproofs
|
changeset |
files
|
| Thu, 26 Apr 2012 16:09:32 +0200 |
Ren? Thiemann |
added non-confluence proofs and examples
|
changeset |
files
|
| Thu, 19 Apr 2012 10:19:25 +0200 |
Ren? Thiemann |
added new automatic method for checking joins
|
changeset |
files
|
| Mon, 16 Apr 2012 10:44:44 +0200 |
Ren? Thiemann |
renamed switchTermination to switchFullStrategy (incorporating comment of Carsten Fuhs)
|
changeset |
files
|
| ... |