User contributions
From Termination-Portal.org
Jump to navigationJump to search- 06:49, 25 August 2025 diff hist +11 Termination Competition 2025 technical details →General current
- 06:49, 25 August 2025 diff hist +178 Termination Competition 2025 technical details →General
- 14:41, 19 August 2025 diff hist +70 C Programs →Proposed semantics current
- 10:05, 5 August 2025 diff hist +17 Termination Competition 2025 →Dates current
- 20:25, 30 July 2025 diff hist +65 Termination Competition 2025 technical details
- 08:28, 30 July 2025 diff hist -345 Termination Competition 2025 technical details
- 13:47, 24 July 2025 diff hist +196 Termination Competition 2025 technical details →Testing Locally
- 13:37, 24 July 2025 diff hist +66 Termination Competition 2025 technical details →Execution Environment
- 13:35, 24 July 2025 diff hist -18 Termination Competition 2025 →Changes with respect to 2024
- 13:35, 24 July 2025 diff hist -3 Termination Competition 2025 →Changes with respect to 2024
- 13:34, 24 July 2025 diff hist -20 Termination Competition 2025 →Changes with respect to 2024
- 11:54, 2 June 2025 diff hist +30 Termination Competition 2025 →Registration
- 11:18, 21 May 2025 diff hist +940 Termination Competition 2025 technical details
- 10:58, 21 May 2025 diff hist -32 Termination Competition 2025 technical details →Execution Environment
- 10:50, 21 May 2025 diff hist +49 Termination Competition 2025 technical details →Lessons Learned from Testing
- 10:49, 21 May 2025 diff hist +91 Termination Competition 2025 technical details →Execution Environment
- 10:48, 21 May 2025 diff hist -1 Termination Competition 2025 technical details →Lessons Learned from Testing
- 10:48, 21 May 2025 diff hist +4 Termination Competition 2025 technical details →Docker -- Apptainer incompatibilities
- 10:48, 21 May 2025 diff hist +43 Termination Competition 2025 technical details →Lessons Learned from Testing
- 10:47, 21 May 2025 diff hist +6 Termination Competition 2025 technical details →Execution Environment
- 22:16, 15 May 2025 diff hist 0 Termination Competition 2025 technical details →Lessons Learned from Testing
- 15:00, 14 May 2025 diff hist +1 Termination Competition 2025 technical details →Lessons Learned from Testing
- 14:59, 14 May 2025 diff hist +333 Termination Competition 2025 technical details
- 07:25, 5 May 2025 diff hist -9 Termination Competition 2025 →Technical Details
- 07:25, 5 May 2025 diff hist -15 Termination Competition 2025 →Competition Procedure
- 08:16, 11 April 2025 diff hist +1,210 N Termination Competition 2025 technical details Created page with "== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. During the competition, the following two co..."
- 16:29, 9 April 2025 diff hist +109 Termination Competition 2025 →Changes with respect to 2024
- 15:41, 9 April 2025 diff hist +74 Termination Competition 2025 →Changes with respect to 2024
- 15:38, 9 April 2025 diff hist +35 Termination Portal →Recent News
- 15:38, 9 April 2025 diff hist +5,325 N Termination Competition 2025 Created page with "The Termination and Complexity Competition (termCOMP) 2025 will be affiliated with [https://www.imn.htwk-leipzig.de/WST2025/ WST 2025]. The competition will be run on the RWT..."
- 08:19, 12 February 2025 diff hist +2 Term Rewriting →Integer Transition Systems current
- 08:19, 12 February 2025 diff hist -70 Termination Competition →Competition Categories
- 08:18, 12 February 2025 diff hist -8 Term Rewriting →Integer Transition Systems
- 08:17, 12 February 2025 diff hist +14 Term Rewriting →Integer Transition Systems
- 08:16, 12 February 2025 diff hist +223 Term Rewriting →Complexity
- 08:13, 12 February 2025 diff hist +40 Term Rewriting →Complexity
- 08:12, 12 February 2025 diff hist -1 Term Rewriting →Integer Transition Systems
- 08:12, 12 February 2025 diff hist -1 Term Rewriting →Integer Transition Systems
- 08:11, 12 February 2025 diff hist -32 Term Rewriting →Integer Transition Systems
- 08:11, 12 February 2025 diff hist +490 Term Rewriting →Integer Transition Systems
- 07:59, 12 February 2025 diff hist +307 Term Rewriting →Non-Relative Termination
- 07:55, 12 February 2025 diff hist +40 Term Rewriting →Termination
- 07:53, 12 February 2025 diff hist +20 Term Rewriting →General
- 12:34, 13 December 2024 diff hist -66 Termination Competition →Static Backups of Results
- 12:33, 13 December 2024 diff hist -1 Termination Competition →History of Termination Competitions
- 12:33, 13 December 2024 diff hist +157 Termination Competition →History of Termination Competitions
- 10:34, 20 September 2024 diff hist -84 Termination Competition →Organization
- 07:37, 15 July 2024 diff hist +133 Term Rewriting →General
- 07:30, 15 July 2024 diff hist +4 Term Rewriting →General
- 13:34, 5 July 2024 diff hist -10 Termination Competition 2024 →Status current
