User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
- 18:06, 21 February 2014 diff hist +271 Star Exec →Starexec for Termcomp in 2014
- 17:59, 21 February 2014 diff hist +105 Star Exec
- 17:57, 21 February 2014 diff hist +319 Star Exec
- 17:49, 21 February 2014 diff hist +156 Star Exec
- 17:43, 21 February 2014 diff hist +4 News:Full TPDB run, December 2013 current
- 17:42, 21 February 2014 diff hist +729 N News:Full TPDB run, December 2013 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..."
- 15:24, 21 February 2014 diff hist +71 TPDB →Sources
- 15:22, 21 February 2014 diff hist +67 TPDB →Sources
- 15:10, 21 February 2014 diff hist +111 TPDB →Sources
- 15:09, 21 February 2014 diff hist +96 TPDB →Sources
