User contributions for J.waldmann

10:3810:38, 14 May 2014 diff hist +25 C Programs No edit summary
10:3210:32, 14 May 2014 diff hist +136 Termination Competition 2014 No edit summary
10:3010:30, 14 May 2014 diff hist +597 Termination Competition 2014 →Competition Categories
10:1810: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:0710:07, 14 May 2014 diff hist +35 Termination Competition →Competition Categories
10:0410:04, 14 May 2014 diff hist −1 Termination Competition 2014 →Dates (tentative)
10:0310:03, 14 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
10:0210:02, 14 May 2014 diff hist +33 News:Termination Competition 2014 is part of FLoC Olympics No edit summary current

19:4819:48, 13 May 2014 diff hist +44 Termination Competition 2014 →Technical Detail
19:4519:45, 13 May 2014 diff hist −7 Termination Competition 2014 →Dates (tentative)
19:4419:44, 13 May 2014 diff hist +51 Termination Competition 2014 →Dates (tentative)
19:4319:43, 13 May 2014 diff hist +95 Termination Competition →Annual International Termination Competition
19:4119:41, 13 May 2014 diff hist −89 Termination Competition →Upcoming Competitions
19:4019:40, 13 May 2014 diff hist +624 Termination Competition 2014 →Technical Detail
19:3419:34, 13 May 2014 diff hist −1,355 Star Exec →Starexec for Termcomp in 2014 current
19:3319:33, 13 May 2014 diff hist +1,746 Termination Competition 2014 No edit summary
19:2319:23, 13 May 2014 diff hist +388 Star Exec →Starexec for Termcomp in 2014

19:3719: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:3119:31, 25 February 2014 diff hist +157 Star Exec →Starexec for Termcomp in 2014
17:3617:36, 25 February 2014 diff hist +53 Star Exec →Starexec for Termcomp in 2014

15:1615:16, 22 February 2014 diff hist +113 TPDB →Tools
15:1215:12, 22 February 2014 diff hist +16 TPDB →Sources

19:1619: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:1319: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:0219:02, 21 February 2014 diff hist +60 Star Exec →Starexec for Termcomp in 2014
18:3418:34, 21 February 2014 diff hist +232 Star Exec →Starexec for Termcomp in 2014
18:2718:27, 21 February 2014 diff hist −52 Star Exec No edit summary
18:2618:26, 21 February 2014 diff hist −10 Termination Competition →Upcoming Competitions
18:2418:24, 21 February 2014 diff hist −173 Star Exec →Starexec for Termcomp in 2014
18:0918:09, 21 February 2014 diff hist +156 Star Exec →Starexec for Termcomp in 2014
18:0618:06, 21 February 2014 diff hist +271 Star Exec →Starexec for Termcomp in 2014
17:5917:59, 21 February 2014 diff hist +105 Star Exec No edit summary
17:5717:57, 21 February 2014 diff hist +319 Star Exec No edit summary
17:4917:49, 21 February 2014 diff hist +156 Star Exec No edit summary
17:4317:43, 21 February 2014 diff hist +4 News:Full TPDB run, December 2013 No edit summary current
17:4217: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:2415:24, 21 February 2014 diff hist +71 TPDB →Sources
15:2215:22, 21 February 2014 diff hist +67 TPDB →Sources
15:1015:10, 21 February 2014 diff hist +111 TPDB →Sources
15:0915:09, 21 February 2014 diff hist +96 TPDB →Sources
14:5414:54, 21 February 2014 diff hist +14 TPDB →Sources
14:5314:53, 21 February 2014 diff hist +617 TPDB No edit summary

08:4708:47, 22 October 2013 diff hist +106 N Termination Competition 2014 Created page with "In 2014, the Termination Competition will be part of the [http://vsl2014.at/olympics/ FLoC Olympic Games]."
08:4608:46, 22 October 2013 diff hist −13 Termination Competition →Upcoming Competitions

09:4509:45, 5 September 2013 diff hist +165 WST No edit summary

11:5811:58, 26 August 2013 diff hist +60 WST2013 No edit summary current

13:5413:54, 19 July 2013 diff hist +21 WST2013 →Registration, Travel
13:5413:54, 19 July 2013 diff hist +40 WST2013 →Important Dates

14:2014:20, 14 July 2013 diff hist 0 WST2013 →Important Dates

09:4209:42, 11 July 2013 diff hist +530 WST2013 →Registration, Travel

14 May 2014

13 May 2014

25 February 2014

22 February 2014

21 February 2014

22 October 2013

5 September 2013

26 August 2013

19 July 2013

14 July 2013

11 July 2013