MercurialCertification Problem Format (developer version) / summary
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | zip | gz | help
 
descriptionAn XML format for problems for certifiers.
ownerRene Thiemann (http://cl-informatik.uibk.ac.at/~thiemann)
last changeFri, 04 May 2012 11:55:46 +0200
changes
Fri May 04 11:55:46 2012 +0200 Ren? Thiemann added checkEquality for complexity problems default tip changeset | files
Wed May 02 14:52:04 2012 +0200 Ren? Thiemann adapted nonloop examples to more verbose proof format changeset | files
Wed May 02 14:49:23 2012 +0200 Ren? Thiemann pretty printer for nonloops changeset | files
Wed May 02 13:33:27 2012 +0200 Ren? Thiemann integrated comment that currently no output of pattern terms is possible, therefore added intermediate pattern rules explicitly changeset | files
Wed May 02 12:51:54 2012 +0200 Ren? Thiemann added element for removing equality rules for relative rewriting changeset | files
Wed May 02 09:32:58 2012 +0200 Ren? Thiemann reordered elements changeset | files
Mon Apr 30 13:38:13 2012 +0200 Ren? Thiemann slight generalization for non-joining sequence for crDisproofs changeset | files
Thu Apr 26 16:09:32 2012 +0200 Ren? Thiemann added non-confluence proofs and examples changeset | files
Thu Apr 19 10:19:25 2012 +0200 Ren? Thiemann added new automatic method for checking joins changeset | files
Mon Apr 16 10:44:44 2012 +0200 Ren? Thiemann renamed switchTermination to switchFullStrategy (incorporating comment of Carsten Fuhs) changeset | files
...
tags
Tue May 10 11:20:54 2011 +0200 v2.1 changeset | changelog | files
Fri May 14 09:41:43 2010 +0200 version 1.0 changeset | changelog | files
...
bookmarks
...
branches
Fri May 04 11:55:46 2012 +0200 fd864207481b default changeset | changelog | files
...
Certification Problem Format (developer version)