This repository maintains TPDB. Please post any questions and suggestions regarding TPDB at termtools mailing list.
Under the category directory, create a directory Your-family-name_YY where YY is the year of submission. Then create pull request.
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.