Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
Line 2: Line 2:
 
that are being used in termination competitions.
 
that are being used in termination competitions.
  
Syntax and semantics specification:
+
== Syntax and semantics specification ==
 
* version 7.* (XML format): http://dev.aspsimon.org/xtc.xsd
 
* version 7.* (XML format): http://dev.aspsimon.org/xtc.xsd
 
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
 
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
  
Data:
+
== Data ==
 
* version 7.* (2009) http://termcomp.uibk.ac.at/status/downloads/
 
* version 7.* (2009) http://termcomp.uibk.ac.at/status/downloads/
 
* version 5.* (2008 .. 2009)  http://dev.aspsimon.org/projects/termcomp/downloads/
 
* version 5.* (2008 .. 2009)  http://dev.aspsimon.org/projects/termcomp/downloads/
 
* earlier versions (2003 .. 2007)  http://www.lri.fr/~marche/tpdb/
 
* earlier versions (2003 .. 2007)  http://www.lri.fr/~marche/tpdb/
 +
 +
== Tools ==
 +
* converter from pre-7 (textual) format to 7.* (XML) format: http://termcomp.uibk.ac.at/status/convert.jar , usage:
 +
 +
java -jar convert.jar someTrs.trs > someTrs.xml
 +
 +
* converter from 7.* (XML) format to pre-7 (textual) format: http://termcomp.uibk.ac.at/status/xtc2tpdb.xsl , usage:
 +
 +
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs

Revision as of 22:48, 7 December 2009

The Termination Problems Data Base collects termination problems that are being used in termination competitions.

Syntax and semantics specification

Data

Tools

java -jar convert.jar someTrs.trs > someTrs.xml 
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs