User contributions
From Termination-Portal.org
Jump to navigationJump to search- 16:33, 14 May 2009 diff hist +129 Termination Competition Steering Committee
- 12:04, 13 May 2009 diff hist +572 N Tools:A3PAT New page: <!-- 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 page yourself af...
- 07:49, 13 May 2009 diff hist +368 N TPDB New page: The Termination Problems Data Base collects termination problems that are being used in termination competitions. Syntax and semantics specification: * for versions up to 5.*: http://www....
- 07:39, 13 May 2009 diff hist +97 Termination Competition →Annual International Termination Competition
- 22:51, 12 May 2009 diff hist +73 Tools:Cime
- 22:43, 12 May 2009 diff hist +578 N Tools:Polytool New page: <!-- 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 page yourself af...
- 12:56, 24 April 2009 diff hist +96 Termination Competition 2008 current
- 10:11, 12 March 2009 diff hist -1,480 WST09
- 10:10, 12 March 2009 diff hist 0 WST
- 09:46, 12 March 2009 diff hist +27 Termination Competition
- 09:45, 12 March 2009 diff hist +345 Termination Competition →Annual International Termination Competition
- 17:09, 24 February 2009 diff hist +259 Talk:XTC Format Specification →Name clashes
- 10:37, 18 February 2009 diff hist +71 WST09
- 10:53, 11 December 2008 diff hist +150 WST09 →general information
- 10:46, 11 December 2008 diff hist +227 WST09
- 12:04, 21 November 2008 diff hist +212 Termination Competition Platform
- 15:19, 20 November 2008 diff hist +145 Termination Competition Platform →Wishlist: Query Interface
- 14:57, 20 November 2008 diff hist +164 Termination Competition Platform
- 14:45, 20 November 2008 diff hist +1,173 N Termination Competition Platform New page: = Note = There is (will be) a well-defined process of making design decisions w.r.t. the Termination Competition Execution and Presentation Platform (via mailing list, steering committee...
- 14:28, 20 November 2008 diff hist +186 Termination Competition 2008
- 10:21, 12 November 2008 diff hist +143 Termination Competition Steering Committee Bylaws →goal: steering of termination competition current
- 10:07, 12 November 2008 diff hist +2,454 N Termination Competition Steering Committee Bylaws New page: (Draft, under discussion) = goal: steering of termination competition = The committee * elects one research group to host the Termination Competition (for some mutually agreeable range ...
- 09:54, 12 November 2008 diff hist -1,136 Termination Competition Steering Committee
- 11:10, 7 November 2008 diff hist 0 Tools:Nonloop
- 10:49, 7 November 2008 diff hist +619 N Tools:Nonloop New page: <!-- 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 page yourself af...
- 11:04, 3 November 2008 diff hist +35 Termination Competition Steering Committee
- 09:06, 3 November 2008 diff hist -16 Outermost →Participants
- 07:14, 3 November 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 13:13, 1 November 2008 diff hist +26 Termination Competition Steering Committee
- 15:17, 31 October 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 15:16, 31 October 2008 diff hist +288 Termination Competition Steering Committee →Current Votes
- 15:13, 31 October 2008 diff hist -53 Termination Competition Steering Committee
- 21:57, 30 October 2008 diff hist +349 Termination Competition Steering Committee →Current Votes
- 21:56, 30 October 2008 diff hist -487 Termination Competition Steering Committee →Proposed Votes
- 16:12, 30 October 2008 diff hist +21 Termination Competition Steering Committee →Proposed Votes
- 16:11, 30 October 2008 diff hist +65 Termination Competition Steering Committee →Proposed Votes
- 15:42, 30 October 2008 diff hist +174 Termination Competition Steering Committee →Proposed Votes
- 15:36, 30 October 2008 diff hist -146 Termination Competition Steering Committee →Current Votes
- 15:33, 30 October 2008 diff hist +197 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:59, 30 October 2008 diff hist -300 Termination Competition Steering Committee →Proposed Votes
- 12:57, 30 October 2008 diff hist +157 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:55, 30 October 2008 diff hist +198 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:53, 30 October 2008 diff hist -171 Termination Competition Steering Committee →Proposed Votes
- 12:52, 30 October 2008 diff hist +259 Termination Competition Steering Committee →Earlier Votes
- 11:49, 30 October 2008 diff hist +138 Termination Competition Steering Committee →Current Votes
- 18:55, 29 October 2008 diff hist +134 Termination Competition Steering Committee →Proposed Votes
- 17:53, 29 October 2008 diff hist +97 Termination Competition Steering Committee →Earlier Votes
- 14:24, 29 October 2008 diff hist +2 Termination Competition Steering Committee →Proposed Votes
- 14:22, 29 October 2008 diff hist +385 Termination Competition Steering Committee →Earlier Votes
- 14:22, 29 October 2008 diff hist -138 Termination Competition Steering Committee →Proposed Votes