Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
Line 13: Line 13:
  
 
== Data ==
 
== Data ==
* version 9.0 (2014) http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB
+
* version 9.0 (2014), 10.? (2015) http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB
 
* version 7.* (2009), 8.0 (2010), 8.0.1 (2011), 8.0.6 (2012) and 8.0.7 (2013) http://termcomp.uibk.ac.at/status/downloads/
 
* version 7.* (2009), 8.0 (2010), 8.0.1 (2011), 8.0.6 (2012) and 8.0.7 (2013) http://termcomp.uibk.ac.at/status/downloads/
 
* version 6.0.2  http://termcomp.uibk.ac.at/termcomp/docs/tpdb-6.0.2.tar.gz
 
* version 6.0.2  http://termcomp.uibk.ac.at/termcomp/docs/tpdb-6.0.2.tar.gz

Revision as of 11:00, 9 July 2015

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

Syntax and semantics specification

see also:

Data

Sources

The following are references for classical problem sets that appear in TPDB.

TPDB problems are collected from a variety of sources, by a variety of contributors. Often, the author of the problem is not the creator of the respective TPDB file. Sometimes, TPDB file structure (directory names) have been changed.

Tools

java -jar convert.jar someTrs.trs > someTrs.xml 
  • converter from 7.* (XML) format to pre-7 (textual) format: xtc2tpdb.xsl, already part of the TPDB, usage:
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
  • Haskell library for reading and writing TPDB (plain and XML format) [1]