User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:02, 5 March 2019 diff hist +87 Termination Competition 2019 →StarExec Information
- 17:54, 26 July 2018 diff hist -3 News:Termination Competition 2019 current
- 17:54, 26 July 2018 diff hist +604 N News:Workshop on Termination 2020 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..." current
- 17:52, 26 July 2018 diff hist +563 N News:Termination Competition 2019 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 17:39, 26 July 2018 diff hist -4 Termination Competition 2019
- 17:39, 26 July 2018 diff hist +299 N Termination Competition 2019 Created page with "We intend to be part of [https://tacas.info/toolympics.php Toolympics], with results presented during TACAS'19, April 16-17, Prague. We intend to run on Starexec, but the act..."
- 17:36, 26 July 2018 diff hist -1 Termination Competition →Upcoming Competitions
- 17:36, 26 July 2018 diff hist +516 Termination Competition →Annual International Termination Competition
- 17:15, 26 July 2018 diff hist +57 Termination Competition
- 17:12, 26 July 2018 diff hist +45 WST
- 17:11, 26 July 2018 diff hist +144 WST
- 12:44, 16 July 2018 diff hist -1 TPDB →Sources
- 10:15, 16 July 2018 diff hist +221 TPDB →Tools
- 18:14, 15 July 2018 diff hist +187 TPDB →Sources
- 18:06, 15 July 2018 diff hist +39 TPDB →Data
- 18:05, 15 July 2018 diff hist +41 TPDB →Sources
- 18:04, 15 July 2018 diff hist +305 TPDB →Sources
- 13:15, 15 July 2018 diff hist +5 WST
- 13:13, 15 July 2018 diff hist +36 WST
- 13:08, 15 July 2018 diff hist +47 WST
- 19:35, 6 September 2017 diff hist +1 Termination Competition →History of Termination Competitions
- 19:35, 6 September 2017 diff hist +80 Termination Competition →History of Termination Competitions
- 19:32, 6 September 2017 diff hist +79 Termination Competition →History of Termination Competitions
- 19:29, 6 September 2017 diff hist -11 Termination Competition 2017
- 19:28, 6 September 2017 diff hist +86 Termination Competition 2017 →Dates
- 00:22, 6 September 2017 diff hist +3 Termination Competition 2017 →Dates
- 14:30, 5 September 2017 diff hist +15 Termination Competition 2017 →Dates
- 13:04, 16 August 2017 diff hist +2 Termination Competition 2016 Data current
- 09:42, 16 August 2017 diff hist -1 Termination Competition 2017 →StarExec Information
- 22:14, 26 July 2017 diff hist +77 Termination Competition 2017 Registration →Solvers current
- 22:04, 26 July 2017 diff hist +7 Termination Competition 2017 Registration →Solvers
- 09:55, 1 June 2017 diff hist +392 Termination Competition →Competition Categories
- 15:42, 10 April 2017 diff hist +4 Termination Competition 2016 Data
- 22:04, 8 March 2017 diff hist +78 Termination Competition →History of Termination Competitions
- 22:02, 8 March 2017 diff hist -38 Termination Competition
- 22:00, 8 March 2017 diff hist +3 WST
- 11:29, 7 September 2016 diff hist -1 Termination Competition 2016 Data
- 11:28, 7 September 2016 diff hist +90 Termination Competition 2016 Data →Comments
- 07:43, 6 September 2016 diff hist +120 Termination Competition 2016 Data
- 07:35, 6 September 2016 diff hist +25 Termination Competition 2016 Data →Timeline
- 07:17, 6 September 2016 diff hist +212 Termination Competition 2016 Data
- 22:47, 5 September 2016 diff hist +195 Termination Competition 2016 Data
- 21:18, 5 September 2016 diff hist +1 Termination Competition 2016 Data
- 21:17, 5 September 2016 diff hist +70 Termination Competition 2016 Data
- 21:15, 5 September 2016 diff hist +101 Termination Competition 2016 Data →Timeline
- 21:12, 5 September 2016 diff hist +219 N Termination Competition 2016 Data Created page with "== Timeline == (all times are CEST) * around 09:00 start Termination and Complexity Analysis of Programs * around 11:00 start Termination and Complexity Analysis of Rewritin..."
- 21:06, 5 September 2016 diff hist 0 Termination and Complexity Competition 2016 →Dates current
- 21:06, 5 September 2016 diff hist +61 Termination and Complexity Competition 2016 →Dates
- 01:31, 5 September 2016 diff hist -301 Termination Competition 2016 Registration →Test Runs current
- 21:51, 1 September 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:27, 31 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 16:35, 30 August 2016 diff hist -122 Termination Competition 2016 Registration →Test Runs
- 11:46, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 11:03, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:54, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:51, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:47, 29 August 2016 diff hist +29 Termination Competition 2016 Registration →Test Runs
- 10:44, 29 August 2016 diff hist -28 Termination Competition 2016 Registration
- 23:01, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:45, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:35, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 16:32, 26 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:43, 25 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 20:31, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:30, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:24, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:12, 23 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 20:06, 23 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 19:41, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 00:39, 20 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 00:37, 20 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 19:07, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:44, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:42, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 10:35, 17 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 10:33, 17 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 06:54, 17 August 2016 diff hist +21 Termination Competition 2016 Registration →Test Runs
- 15:16, 16 August 2016 diff hist +30 Termination Competition 2016 Registration →Test Runs
- 15:09, 16 August 2016 diff hist +30 Termination Competition 2016 Registration →Test Runs
- 11:18, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:16, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:03, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:01, 15 August 2016 diff hist +89 Termination Competition 2016 Registration →Test Runs
- 09:06, 15 August 2016 diff hist +10 Termination Competition 2016 Registration →Benchmarks
- 15:29, 14 August 2016 diff hist +44 Termination Competition 2016 Registration →Benchmarks
- 15:26, 14 August 2016 diff hist -59 Termination Competition 2016 Registration →Benchmarks
- 09:40, 14 August 2016 diff hist +68 Termination Competition 2016 Registration →Benchmarks
- 10:14, 10 August 2016 diff hist +39 Termination Competition 2016 Registration →Test Runs
- 10:07, 10 August 2016 diff hist +320 Termination Competition 2016 Registration
- 11:19, 3 August 2016 diff hist +9 Termination and Complexity Competition 2016 →StarExec Information
- 11:19, 3 August 2016 diff hist +98 Termination and Complexity Competition 2016 →StarExec Information
- 11:50, 2 August 2016 diff hist +70 Termination Competition 2016 Registration →Benchmarks
- 12:50, 1 August 2016 diff hist -197 Termination Competition 2016 Registration →Solvers
- 12:48, 1 August 2016 diff hist +195 Termination Competition 2016 Registration →Solvers
- 12:42, 1 August 2016 diff hist +51 Termination Competition 2016 Registration →Benchmarks
- 12:42, 1 August 2016 diff hist +56 Termination Competition 2016 Registration →Benchmarks
- 12:08, 1 August 2016 diff hist +55 Termination and Complexity Competition 2016 →Dates
- 11:58, 1 August 2016 diff hist +75 Termination and Complexity Competition 2016 →StarExec Information
- 11:57, 1 August 2016 diff hist +188 Termination and Complexity Competition 2016 →StarExec Wiki
- 10:33, 1 August 2016 diff hist +25 Termination Competition 2016 Registration →Benchmarks