[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

TermCOMP/TPDB

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

77 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The Termination Problem Database (TPDB)

Note: For all SRS/TRS categories, please submit new benchmarks to this repository.

This repository maintains TPDB. Please post any questions and suggestions regarding TPDB at termtools mailing list.

How to Submit New Benchmarks

Under the category directory, create a directory Your-family-name_YY where YY is the year of submission. Then create pull request.

How to Fix Benchmarks

If changes should be made on benchmarks that has been used in a past competition, please follow the procedure:

  • Rename the benchmark following the rule: file.ext -> file_REV2.ext -> file_REV3.ext -> ...
  • Make sure the old file is removed.
  • Then make pull request.