Jump to content

User contributions for Ffrohn

Results for Ffrohn talk block log uploads logs

A user with 136 edits. Account created on 4 March 2014.

11:5411:54, 2 June 2025 diff hist +30 Termination Competition 2025 →Registration

11:1811:18, 21 May 2025 diff hist +940 Termination Competition 2025 technical details No edit summary
10:5810:58, 21 May 2025 diff hist −32 Termination Competition 2025 technical details →Execution Environment
10:5010:50, 21 May 2025 diff hist +49 Termination Competition 2025 technical details →Lessons Learned from Testing
10:4910:49, 21 May 2025 diff hist +91 Termination Competition 2025 technical details →Execution Environment
10:4810:48, 21 May 2025 diff hist −1 Termination Competition 2025 technical details →Lessons Learned from Testing
10:4810:48, 21 May 2025 diff hist +4 Termination Competition 2025 technical details →Docker -- Apptainer incompatibilities
10:4810:48, 21 May 2025 diff hist +43 Termination Competition 2025 technical details →Lessons Learned from Testing
10:4710:47, 21 May 2025 diff hist +6 Termination Competition 2025 technical details →Execution Environment

22:1622:16, 15 May 2025 diff hist 0 Termination Competition 2025 technical details →Lessons Learned from Testing

15:0015:00, 14 May 2025 diff hist +1 Termination Competition 2025 technical details →Lessons Learned from Testing
14:5914:59, 14 May 2025 diff hist +333 Termination Competition 2025 technical details No edit summary

07:2507:25, 5 May 2025 diff hist −9 Termination Competition 2025 →Technical Details
07:2507:25, 5 May 2025 diff hist −15 Termination Competition 2025 →Competition Procedure

08:1608: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:2916:29, 9 April 2025 diff hist +109 Termination Competition 2025 →Changes with respect to 2024
15:4115:41, 9 April 2025 diff hist +74 Termination Competition 2025 →Changes with respect to 2024
15:3815:38, 9 April 2025 diff hist +35 Termination Portal →Recent News
15:3815: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:1908:19, 12 February 2025 diff hist +2 Term Rewriting →Integer Transition Systems current
08:1908:19, 12 February 2025 diff hist −70 Termination Competition →Competition Categories
08:1808:18, 12 February 2025 diff hist −8 Term Rewriting →Integer Transition Systems
08:1708:17, 12 February 2025 diff hist +14 Term Rewriting →Integer Transition Systems
08:1608:16, 12 February 2025 diff hist +223 Term Rewriting →Complexity
08:1308:13, 12 February 2025 diff hist +40 Term Rewriting →Complexity
08:1208:12, 12 February 2025 diff hist −1 Term Rewriting →Integer Transition Systems
08:1208:12, 12 February 2025 diff hist −1 Term Rewriting →Integer Transition Systems
08:1108:11, 12 February 2025 diff hist −32 Term Rewriting →Integer Transition Systems
08:1108:11, 12 February 2025 diff hist +490 Term Rewriting →Integer Transition Systems
07:5907:59, 12 February 2025 diff hist +307 Term Rewriting →Non-Relative Termination
07:5507:55, 12 February 2025 diff hist +40 Term Rewriting →Termination
07:5307:53, 12 February 2025 diff hist +20 Term Rewriting →General

12:3412:34, 13 December 2024 diff hist −66 Termination Competition →Static Backups of Results
12:3312:33, 13 December 2024 diff hist −1 Termination Competition →History of Termination Competitions
12:3312:33, 13 December 2024 diff hist +157 Termination Competition →History of Termination Competitions

10:3410:34, 20 September 2024 diff hist −84 Termination Competition →Organization

07:3707:37, 15 July 2024 diff hist +133 Term Rewriting →General
07:3007:30, 15 July 2024 diff hist +4 Term Rewriting →General

13:3413:34, 5 July 2024 diff hist −10 Termination Competition 2024 →Status current

08:1408:14, 3 July 2024 diff hist −144 Termination Competition 2024 →Dates
08:1408:14, 3 July 2024 diff hist +3 Termination Competition 2024 No edit summary

11:0911:09, 13 June 2024 diff hist +18 Termination Competition 2024 →Dates
11:0911:09, 13 June 2024 diff hist +21 Termination Competition 2024 →Dates

09:0709:07, 12 June 2024 diff hist −28 Termination Competition 2024 →Changes with respect to 2023
09:0609:06, 12 June 2024 diff hist +144 Termination Competition 2024 →Dates
09:0509:05, 12 June 2024 diff hist +39 Termination Competition 2024 →Changes with respect to 2023

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/Ffrohn"