User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:04, 5 September 2017 diff hist +2 Termination Competition →History of Termination Competitions
- 08:57, 17 July 2017 diff hist 0 Termination Competition 2017
- 08:55, 17 July 2017 diff hist -2 Termination Competition 2017
- 08:54, 17 July 2017 diff hist +2 Termination Competition 2017
- 08:52, 17 July 2017 diff hist +1,431 N Termination Competition 2017 Registration Created page with "general information: Termination_Competition_2017 == Test Runs == not yet availabe <!-- most recent public test run * [http://termcomp.imn.htwk-leipzig.de/competitions..."
- 08:48, 17 July 2017 diff hist 0 Termination Competition 2017
- 08:48, 17 July 2017 diff hist -444 Termination Competition 2017
- 08:46, 17 July 2017 diff hist +7,196 N Termination Competition 2017 Created page with "In 2017, the Termination and Complexity Competition <!-- ([http://lists.lri.fr/pipermail/termtools/2015-June/000984.html Call for Participation]) --> will be affiliated with t..."
- 08:35, 17 July 2017 diff hist +133 Termination Competition →History of Termination Competitions
- 09:23, 4 May 2017 diff hist +84 Termination Competition →History of Termination Competitions
- 09:19, 4 May 2017 diff hist 0 Termination Competition Steering Committee
- 13:03, 28 August 2015 diff hist 0 Termination Competition →History of Termination Competitions
- 13:01, 28 August 2015 diff hist -63 Termination Competition
- 12:59, 28 August 2015 diff hist +62 Termination Competition
- 12:57, 28 August 2015 diff hist +281 Termination Competition
- 12:40, 20 July 2014 diff hist 0 Termination Competition 2014
- 12:49, 26 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 12:46, 26 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 12:38, 26 May 2014 diff hist +11 Termination Competition 2014 →Dates (tentative)
- 12:34, 26 May 2014 diff hist +10 Termination Competition 2014
- 10:42, 26 May 2014 diff hist -47 C Programs →Proposed semantics
- 10:40, 26 May 2014 diff hist -117 C Programs →Discussion
- 10:38, 26 May 2014 diff hist +3 Termination Competition 2014
- 10:34, 26 May 2014 diff hist +2,333 Termination Competition 2014
- 10:31, 26 May 2014 diff hist +1 Termination Competition Certified Categories Competition
- 10:30, 26 May 2014 diff hist +3,836 N Termination Competition Certified Categories Competition Created page with "The certified categories will be run as follows: * Tools that can produce output in CPF and that participate in the certified competition are run in parallel to the tools whi..."
- 09:48, 26 May 2014 diff hist +1,552 N Termination Competition Problem Selection Algorithm Created page with "We will fix some number "c" with 0 < c < 1. This number indicates the percentage of problems to be taken from each family. So in principle, we would like to choose c * |F| pro..." current
- 09:44, 26 May 2014 diff hist -1,944 Termination Competition 2014
- 09:41, 26 May 2014 diff hist +2,281 N Termination Competition 2014 technical details Created page with "We intend to run the competition on [http://www.starexec.org/ StarExec] - a cross-community solver execution and benchmark library service under joint development (since 2012..."
- 09:32, 26 May 2014 diff hist +220 Termination Competition 2014
