User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:13, 12 July 2015 diff hist +211 Termination Competition 2015 TODO →accepted
- 15:11, 12 July 2015 diff hist +572 N Termination Competition 2015 TODO Created page with "TODO list for the competition organizer. == accepted == * install this year's TPDB on starexec * implement complexity scoring (lower and upper bounds) * fix stability and p..."
- 15:01, 12 July 2015 diff hist +55 Termination Competition 2015
- 17:33, 7 July 2015 diff hist +36 Termtools
- 10:54, 6 July 2015 diff hist +43 Termination Competition 2015 Registration →Benchmark submissions
- 10:52, 6 July 2015 diff hist +32 Termination Competition 2015 Registration →Benchmark submissions
- 09:22, 6 July 2015 diff hist +97 Termination Competition 2015 Registration →Benchmark submissions
- 09:03, 6 July 2015 diff hist +60 Termination Competition 2015 Registration →General
- 08:30, 6 July 2015 diff hist -737 Termination Competition 2015 Registration →Registered Solvers
- 15:13, 1 July 2015 diff hist +8 Termination Competition 2015 Registration →Registered Solvers
- 15:05, 1 July 2015 diff hist +209 Termination Competition 2015 Registration →Registered Solvers
- 11:49, 1 July 2015 diff hist +18 Termination Competition 2015 Registration →Registered Solvers
- 11:45, 1 July 2015 diff hist +143 Termination Competition 2015 Registration →Benchmark submissions
- 11:43, 1 July 2015 diff hist 0 Termination Competition 2015 Registration →Registered Solvers
- 11:43, 1 July 2015 diff hist +89 Termination Competition 2015 Registration →Registered Solvers
- 11:23, 1 July 2015 diff hist +131 Termination Competition 2015 Registration →General
- 11:09, 1 July 2015 diff hist +993 Termination Competition 2015 Registration
- 07:08, 1 July 2015 diff hist +63 Termination Competition 2015 Registration
- 07:05, 1 July 2015 diff hist +239 N Termination Competition 2015 Registration Created page with "Registration is like it was last year. In short, * get a starexec account, upload your solver * send email to J. Waldmann with: ** categories that you want to enter, ** an..."
- 16:40, 22 June 2015 diff hist +2 Termination Competition 2015
- 16:40, 22 June 2015 diff hist +87 Termination Competition 2015
- 11:18, 2 June 2015 diff hist +182 Termination Competition 2015 →Changes with respect to 2014
- 11:15, 2 June 2015 diff hist +80 Termination Competition 2015
- 11:13, 2 June 2015 diff hist -1 Termination Competition 2015 →Changes with respect to 2014
- 11:12, 2 June 2015 diff hist +140 Termination Competition 2015
- 11:03, 2 June 2015 diff hist +13 Termination Competition 2015 →Technical Detail
- 11:02, 2 June 2015 diff hist -46 Termination Competition 2015 →Committees
- 18:39, 29 May 2015 diff hist +84 WST
- 10:49, 5 March 2015 diff hist +599 N News:Termination Competition 2015 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..." current
- 12:14, 21 January 2015 diff hist +8 Termination Competition 2015 →Dates (Preliminary)
- 12:12, 21 January 2015 diff hist -135 Termination Competition 2015 →Competition Procedure
- 12:09, 21 January 2015 diff hist +2 Termination Competition 2015 →Dates (Preliminary)
- 15:01, 20 January 2015 diff hist +5,438 N Termination Competition 2015 Created page with "In 2015, the Termination Competition will be affiliated with [http://conference.mi.fu-berlin.de/cade-25/ CADE-25]. == Dates (Preliminary) == * registration of tools: July 1 ..."
- 12:17, 7 August 2014 diff hist +41 Termination Competition 2014 Questionnaire current
- 19:45, 6 August 2014 diff hist +1,474 Termination Competition 2014 Questionnaire →6. What were the negative aspects?
- 08:42, 29 July 2014 diff hist -2 Termination Competition 2014 →Current News
- 08:41, 29 July 2014 diff hist 0 m Termination Competition 2014 Questionnaire J.waldmann moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire
- 08:41, 29 July 2014 diff hist +56 N Termination Competition 2014 Questionannaire J.waldmann moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire current
- 08:33, 29 July 2014 diff hist +1,971 N Termination Competition 2014 Questionnaire Created page with "The following questions regarding Star-Exec are being asked by Aaron Stump and Cesare Tinelli, to all Summer 2014 competition organizers. I (J.W.) will answer, by August 5, an..."
- 08:11, 29 July 2014 diff hist +50 Termination Competition 2014 →Current News
- 16:27, 21 July 2014 diff hist -18 Termination Competition 2014 →Current News
- 08:04, 21 July 2014 diff hist +102 Termination Competition 2014 →Current News
- 14:14, 20 July 2014 diff hist +50 Termination Competition 2014 →Current News
- 14:43, 19 July 2014 diff hist -6 Termination Competition 2014 Registration →Participants current
- 14:14, 19 July 2014 diff hist -2 Termination Competition 2014 →Current News
- 14:14, 19 July 2014 diff hist +148 Termination Competition 2014
- 11:02, 19 July 2014 diff hist -12 Termination Competition 2014 →Dates (tentative)
- 15:31, 14 July 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 11:43, 29 June 2014 diff hist -69 Termination Competition 2014 Registration →Procedure
- 11:39, 23 June 2014 diff hist +268 Termination Competition 2014 Registration →Participants