Jump to content

User contributions for J.waldmann

Results for J.waldmann talk block log uploads logs

A user with 577 edits. Account created on 29 March 2008.

11:5211:52, 30 July 2016 diff hist +55 Termination Competition 2016 Registration No edit summary
11:4311:43, 30 July 2016 diff hist −5 Termination Competition 2016 Registration No edit summary
11:4211:42, 30 July 2016 diff hist +350 Termination Competition 2016 Registration No edit summary
11:3211:32, 30 July 2016 diff hist +160 Termination Competition 2016 Registration No edit summary
11:2611:26, 30 July 2016 diff hist +516 N Termination Competition 2016 Registration Created page with "For registering your solver, I need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in. [http://nfa.imn.htwk-le..."

11:4511:45, 22 July 2016 diff hist +1 Termination Competition →Competition Categories
11:4311:43, 22 July 2016 diff hist +27 Termination Competition →Upcoming Competitions

11:3411:34, 20 July 2016 diff hist +24 Termination and Complexity Competition 2016 →Registration

13:4513:45, 11 October 2015 diff hist +10 Termination Competition 2014 →Current News current

11:5511:55, 6 August 2015 diff hist +103 Termination Competition 2015 →News current
10:4210:42, 6 August 2015 diff hist 0 Termination Competition 2015 →News
10:4210:42, 6 August 2015 diff hist +101 Termination Competition 2015 →News
10:4110:41, 6 August 2015 diff hist +148 Termination Competition 2015 →News

19:2119:21, 5 August 2015 diff hist +37 Termination Competition 2015 →News
19:1319:13, 5 August 2015 diff hist +41 Termination Competition 2015 →News
13:1113:11, 5 August 2015 diff hist +144 Termination Competition 2015 →News
06:4106:41, 5 August 2015 diff hist +120 Termination Competition 2015 →News
06:3506:35, 5 August 2015 diff hist +189 Termination Competition 2015 →News
06:1406:14, 5 August 2015 diff hist +98 Termination Competition 2015 →News
06:1106:11, 5 August 2015 diff hist −1 Termination Competition 2015 →News
06:0806:08, 5 August 2015 diff hist +93 Termination Competition 2015 →News
06:0006:00, 5 August 2015 diff hist +121 Termination Competition 2015 →News
05:4005:40, 5 August 2015 diff hist +35 Termination Competition 2015 →News
05:3905:39, 5 August 2015 diff hist +27 Termination Competition 2015 →News
05:3805:38, 5 August 2015 diff hist +491 Termination Competition 2015 No edit summary

19:1919:19, 3 August 2015 diff hist +164 Termination Competition →Annual International Termination Competition

13:2013:20, 30 July 2015 diff hist +34 Termination Competition 2015 Bugs No edit summary current
13:2013:20, 30 July 2015 diff hist +62 Termination Competition 2015 Bugs No edit summary
13:1013:10, 30 July 2015 diff hist +247 Termination Competition 2015 Bugs No edit summary

11:1111:11, 29 July 2015 diff hist +152 Termination Competition 2015 Bugs No edit summary
08:4908:49, 29 July 2015 diff hist +69 Termination Competition 2015 Bugs No edit summary
08:4808:48, 29 July 2015 diff hist +49 Termination Competition 2015 Bugs No edit summary
08:4708:47, 29 July 2015 diff hist +222 N Termination Competition 2015 Bugs Created page with " * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683 * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652 * http://nfa.imn.htwk-leipzig..."
08:4708:47, 29 July 2015 diff hist −193 Termination Competition 2015 Registration →General current
08:4108:41, 29 July 2015 diff hist +144 Termination Competition 2015 Registration →General
08:3908:39, 29 July 2015 diff hist +132 Termination Competition 2015 Registration →General

18:5118:51, 28 July 2015 diff hist +64 Termination Competition 2015 TODO →done current
13:4113:41, 28 July 2015 diff hist +104 Termination Competition 2015 TODO →accepted
13:4013:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →done
13:4013:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →accepted
13:3913:39, 28 July 2015 diff hist +69 Termination Competition 2015 TODO →accepted
13:3713:37, 28 July 2015 diff hist +59 Termination Competition 2015 TODO →accepted
13:3613:36, 28 July 2015 diff hist −93 Termination Competition 2015 TODO No edit summary
13:3613:36, 28 July 2015 diff hist −41 Termination Competition 2015 TODO →suggested
13:3613:36, 28 July 2015 diff hist +194 Termination Competition 2015 TODO No edit summary
13:3413:34, 28 July 2015 diff hist +62 Termination Competition 2015 TODO No edit summary

19:2719:27, 22 July 2015 diff hist +74 Termination Competition 2015 Registration →Benchmark submissions

21:1021:10, 14 July 2015 diff hist 0 Termination Competition 2015 →Dates

18:0918:09, 13 July 2015 diff hist +146 Termination Competition 2015 TODO →suggested

15:1315:13, 12 July 2015 diff hist −1 Termination Competition 2015 TODO No edit summary

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