User contributions
From Termination-Portal.org
Jump to navigationJump to search- 06:08, 5 August 2015 diff hist +93 Termination Competition 2015 →News
- 06:00, 5 August 2015 diff hist +121 Termination Competition 2015 →News
- 05:40, 5 August 2015 diff hist +35 Termination Competition 2015 →News
- 05:39, 5 August 2015 diff hist +27 Termination Competition 2015 →News
- 05:38, 5 August 2015 diff hist +491 Termination Competition 2015
- 19:19, 3 August 2015 diff hist +164 Termination Competition →Annual International Termination Competition
- 13:20, 30 July 2015 diff hist +34 Termination Competition 2015 Bugs current
- 13:20, 30 July 2015 diff hist +62 Termination Competition 2015 Bugs
- 13:10, 30 July 2015 diff hist +247 Termination Competition 2015 Bugs
- 11:11, 29 July 2015 diff hist +152 Termination Competition 2015 Bugs
- 08:49, 29 July 2015 diff hist +69 Termination Competition 2015 Bugs
- 08:48, 29 July 2015 diff hist +49 Termination Competition 2015 Bugs
- 08:47, 29 July 2015 diff hist +222 N Termination Competition 2015 Bugs Created page with " * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683 * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652 * http://nfa.imn.htwk-leipzig..."
- 08:47, 29 July 2015 diff hist -193 Termination Competition 2015 Registration →General current
- 08:41, 29 July 2015 diff hist +144 Termination Competition 2015 Registration →General
- 08:39, 29 July 2015 diff hist +132 Termination Competition 2015 Registration →General
- 18:51, 28 July 2015 diff hist +64 Termination Competition 2015 TODO →done current
- 13:41, 28 July 2015 diff hist +104 Termination Competition 2015 TODO →accepted
- 13:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →done
- 13:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →accepted
- 13:39, 28 July 2015 diff hist +69 Termination Competition 2015 TODO →accepted
- 13:37, 28 July 2015 diff hist +59 Termination Competition 2015 TODO →accepted
- 13:36, 28 July 2015 diff hist -93 Termination Competition 2015 TODO
- 13:36, 28 July 2015 diff hist -41 Termination Competition 2015 TODO →suggested
- 13:36, 28 July 2015 diff hist +194 Termination Competition 2015 TODO
- 13:34, 28 July 2015 diff hist +62 Termination Competition 2015 TODO
- 19:27, 22 July 2015 diff hist +74 Termination Competition 2015 Registration →Benchmark submissions
- 21:10, 14 July 2015 diff hist 0 Termination Competition 2015 →Dates
- 18:09, 13 July 2015 diff hist +146 Termination Competition 2015 TODO →suggested
- 15:13, 12 July 2015 diff hist -1 Termination Competition 2015 TODO
- 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
- 08:25, 17 June 2014 diff hist +6 Termination Competition 2014 Registration →Participants
- 09:21, 16 June 2014 diff hist +156 Termination Competition 2014 Registration →new benchmarks
- 08:40, 16 June 2014 diff hist +62 Termination Competition 2014 Registration →new benchmarks
- 08:39, 16 June 2014 diff hist +16 Termination Competition 2014 Registration
- 07:40, 16 June 2014 diff hist +20 Termination Competition 2014 Registration →Participants
- 15:37, 15 June 2014 diff hist +48 Termination Competition 2014 Registration →Participants
- 14:31, 14 June 2014 diff hist 0 Termination Competition 2014 Registration →Participants
- 14:30, 14 June 2014 diff hist +33 Termination Competition 2014 Registration →Participants
- 10:20, 14 June 2014 diff hist +229 Termination Competition 2014 Registration →Procedure
- 09:42, 14 June 2014 diff hist +59 Termination Competition 2014 Registration →Participants
- 16:18, 13 June 2014 diff hist +450 Termination Competition 2014 Registration →Participants
- 11:31, 13 June 2014 diff hist +12 Termination Competition 2014 Registration →Participants
- 19:41, 12 June 2014 diff hist +195 Termination Competition 2014 Registration →Note on Certified Categories
- 15:54, 12 June 2014 diff hist -4 Termination Competition 2014 Registration →Procedure
- 15:28, 12 June 2014 diff hist +166 Termination Competition 2014 Registration →Procedure
- 15:17, 12 June 2014 diff hist +350 Termination Competition 2014 Registration →Procedure
- 14:58, 12 June 2014 diff hist +188 Termination Competition 2014 →Competition Procedure
- 11:09, 12 June 2014 diff hist +127 Termination Competition 2014 Registration
- 11:05, 12 June 2014 diff hist -65 Termination Competition 2014 Registration
- 11:05, 12 June 2014 diff hist +59 Termination Competition 2014 Registration