User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:03, 12 June 2014 diff hist +441 Termination Competition 2014 Registration
- 10:45, 12 June 2014 diff hist +9 Termination Competition 2014 Registration →Participants
- 10:44, 12 June 2014 diff hist +583 Termination Competition 2014 Registration
- 10:34, 12 June 2014 diff hist 0 Termination Competition 2014 →Registration (Detail)
- 10:33, 12 June 2014 diff hist 0 m Termination Competition 2014 Registration J.waldmann moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration
- 10:33, 12 June 2014 diff hist +55 N Termination Competition 2014 Participants J.waldmann moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration current
- 10:32, 12 June 2014 diff hist -4 Termination Competition 2014
- 10:22, 12 June 2014 diff hist +17 Termination Competition 2014 Registration
- 10:22, 12 June 2014 diff hist +18 Termination Competition 2014 Registration
- 10:21, 12 June 2014 diff hist +639 Termination Competition 2014 Registration
- 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
- 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
- 14:54, 21 February 2014 diff hist +14 TPDB →Sources
- 14:53, 21 February 2014 diff hist +617 TPDB
- 08: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:46, 22 October 2013 diff hist -13 Termination Competition →Upcoming Competitions
- 09:45, 5 September 2013 diff hist +165 WST
- 11:58, 26 August 2013 diff hist +60 WST2013 current
- 13:54, 19 July 2013 diff hist +21 WST2013 →Registration, Travel
- 13:54, 19 July 2013 diff hist +40 WST2013 →Important Dates
- 14:20, 14 July 2013 diff hist 0 WST2013 →Important Dates
- 09:42, 11 July 2013 diff hist +530 WST2013 →Registration, Travel
- 11:16, 10 July 2013 diff hist -4 WST2013 →Program Committee
- 09:12, 10 July 2013 diff hist +566 N News:Workshop on Termination 2013: August 28 - 31 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
- 09:08, 10 July 2013 diff hist -200 WST
- 09:07, 10 July 2013 diff hist +1 WST
- 09:07, 10 July 2013 diff hist -6 WST
- 09:06, 10 July 2013 diff hist +551 WST2013 →Program Committee
- 09:03, 10 July 2013 diff hist +301 WST2013
- 08:58, 10 July 2013 diff hist +3,924 N WST2013 Created page with " The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical o..."
- 08:54, 10 July 2013 diff hist -63 WST
- 13:29, 12 February 2013 diff hist +333 N Termination Competition 2013 Created page with "The Termination Competition 2013 will be run during the [http://www.win.tue.nl/rdp2013/ RDP 2013 Conference] (June 23 - June 28). The competition will be hosted on the [http:..."
- 13:27, 12 February 2013 diff hist -8 Termination Competition →Upcoming Competitions
- 13:25, 12 February 2013 diff hist -10 WST
- 22:04, 22 January 2013 diff hist +85 WST
- 09:50, 27 June 2012 diff hist +27 Contribute →How to Contribute current
- 07:14, 27 June 2012 diff hist -36 Tools:HOT current
- 18:30, 26 June 2012 diff hist +825 N Tools:HOT Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."
- 18:27, 26 June 2012 diff hist +763 N Tools:THOR Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:25, 26 June 2012 diff hist +768 N Tools:Wanda Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:19, 26 June 2012 diff hist +676 N Termination Competition 2012 Comments Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va..."
- 18:11, 26 June 2012 diff hist +43 Termination Competition 2012 current