User contributions
From Termination-Portal.org
Jump to navigationJump to search- 10:24, 11 May 2021 diff hist +133 Termination Competition 2020 into history
- 10:17, 11 May 2021 diff hist +13 Termination Competition 2021 →Contact: updated termtools address
- 10:15, 11 May 2021 diff hist +9 Termination Competition 2021 →Steering Committee: affiliation
- 10:13, 11 May 2021 diff hist +15 Termination Competition →Upcoming Competitions
- 09:37, 11 May 2021 diff hist +8 Termination Competition updated affiliation
- 08:49, 19 April 2021 diff hist +35 Termination Competition 2021 →Dates
- 09:55, 3 July 2020 diff hist -9 Termination Competition 2020 →Status: final result current
- 04:12, 24 June 2020 diff hist +67 Termination Competition 2020 →Status: Initial result
- 01:55, 24 June 2020 diff hist +127 Termination Competition 2020 →Registration: Refer to TPDB repo for submission instruction
- 01:45, 24 June 2020 diff hist -544 Termination Competition 2020 →Registration: Refer to the GitHub page for registration
- 01:03, 24 June 2020 diff hist -44 Termination Competition 2020 →Contact: clearly state "ask termtools"
- 00:59, 24 June 2020 diff hist +109 Termination Competition Made Organization section
- 03:31, 23 June 2020 diff hist +73 News:Termination Competition 2020 editing news entry with a link to the TermCOMP web interface current
- 14:01, 22 June 2020 diff hist +58 Termination Competition 2020 Link to competition web
- 02:08, 18 June 2020 diff hist +173 TPDB →Syntax and semantics specification: Link to new TPDB current
- 01:59, 18 June 2020 diff hist +56 TPDB →Data: New TPDB repo
- 09:56, 12 June 2020 diff hist -20 Termination Competition →History of Termination Competitions: new url for 2018 competition
- 09:55, 12 June 2020 diff hist -18 Termination Competition 2018 →Status: new url for 2018 competition current
- 09:26, 12 June 2020 diff hist -20 Termination Competition →History of Termination Competitions: new result url
- 09:25, 12 June 2020 diff hist -19 Termination Competition 2019 →Result: new url current