User contributions
From Termination-Portal.org
Jump to navigationJump to search- 10:12, 12 June 2014 diff hist +445 Termination Competition 2014 Registration
- 10:01, 12 June 2014 diff hist +108 N Termination Competition 2014 Registration Created page with "(this page to be edited by the competition organizer) registrations, by category. last updated Thu June 12."
- 09:57, 12 June 2014 diff hist +78 Termination Competition 2014
- 07:01, 6 June 2014 diff hist +116 Termination Competition 2014 →Registration Info (tentative)
- 07:41, 5 June 2014 diff hist -46 Tools:Matchbox current
- 11:23, 4 June 2014 diff hist +269 Termination Competition 2014 →Registration Info (tentative)
- 17:43, 3 June 2014 diff hist +235 Termination Competition 2014 technical details current
- 15:49, 26 May 2014 diff hist +267 Termination Competition 2014 technical details
- 08:27, 20 May 2014 diff hist +29 Termination Competition →Annual International Termination Competition
- 19:17, 19 May 2014 diff hist +5 Termination Competition 2014 →Dates (tentative)
- 19:16, 19 May 2014 diff hist +1 Termination Competition 2014 →Registration info (tentative)
- 19:16, 19 May 2014 diff hist +48 Termination Competition 2014 →Technical Detail
- 18:53, 19 May 2014 diff hist +743 Termination Competition 2014
- 18:23, 19 May 2014 diff hist -66 Termination Competition 2014 →Technical Detail
- 15:54, 16 May 2014 diff hist +24 N Transition Systems Created page with "Category: Categories"
- 15:06, 16 May 2014 diff hist +25 Termination Competition →Competition Categories
- 11:00, 16 May 2014 diff hist -1 Termination Competition 2014 →Committees
- 16:22, 15 May 2014 diff hist +369 Termination Competition 2014
- 13:06, 15 May 2014 diff hist +118 Termination Competition 2014 →Technical Detail
- 14:18, 14 May 2014 diff hist +7 Termination Competition 2014 →Dates (tentative)
- 10:38, 14 May 2014 diff hist +25 C Programs
- 10:32, 14 May 2014 diff hist +136 Termination Competition 2014
- 10:30, 14 May 2014 diff hist +597 Termination Competition 2014 →Competition Categories
- 10:18, 14 May 2014 diff hist +1,844 N C Programs Created page with "== Proposed semantics == * The starting point is the main function without arguments. * Functions which are only declared, but not defined, are considered to be termin..."
- 10:07, 14 May 2014 diff hist +35 Termination Competition →Competition Categories
- 10:04, 14 May 2014 diff hist -1 Termination Competition 2014 →Dates (tentative)
- 10:03, 14 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 10:02, 14 May 2014 diff hist +33 News:Termination Competition 2014 is part of FLoC Olympics current
- 19:48, 13 May 2014 diff hist +44 Termination Competition 2014 →Technical Detail
- 19:45, 13 May 2014 diff hist -7 Termination Competition 2014 →Dates (tentative)
- 19:44, 13 May 2014 diff hist +51 Termination Competition 2014 →Dates (tentative)
- 19:43, 13 May 2014 diff hist +95 Termination Competition →Annual International Termination Competition
- 19:41, 13 May 2014 diff hist -89 Termination Competition →Upcoming Competitions
- 19:40, 13 May 2014 diff hist +624 Termination Competition 2014 →Technical Detail
- 19:34, 13 May 2014 diff hist -1,355 Star Exec →Starexec for Termcomp in 2014 current
- 19:33, 13 May 2014 diff hist +1,746 Termination Competition 2014
- 19:23, 13 May 2014 diff hist +388 Star Exec →Starexec for Termcomp in 2014
- 19:37, 25 February 2014 diff hist +507 N Star Exec Presenter Created page with "While the competition will be run on Starexec, results will be presented on a separate platform that is currently under construction at HTWK Leipzig. Notes for implementation..." current
- 19:31, 25 February 2014 diff hist +157 Star Exec →Starexec for Termcomp in 2014
- 17:36, 25 February 2014 diff hist +53 Star Exec →Starexec for Termcomp in 2014
- 15:16, 22 February 2014 diff hist +113 TPDB →Tools
- 15:12, 22 February 2014 diff hist +16 TPDB →Sources
- 19:16, 21 February 2014 diff hist +669 N News:Workshop on Termination 2014 at Vienna Summer of Logic 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
- 19:13, 21 February 2014 diff hist +726 N News:Termination Competition 2014 is part of FLoC Olympics 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..."
- 19:02, 21 February 2014 diff hist +60 Star Exec →Starexec for Termcomp in 2014
- 18:34, 21 February 2014 diff hist +232 Star Exec →Starexec for Termcomp in 2014
- 18:27, 21 February 2014 diff hist -52 Star Exec
- 18:26, 21 February 2014 diff hist -10 Termination Competition →Upcoming Competitions
- 18:24, 21 February 2014 diff hist -173 Star Exec →Starexec for Termcomp in 2014
- 18:09, 21 February 2014 diff hist +156 Star Exec →Starexec for Termcomp in 2014