Jump to content

Termination Competition: Revision history

View logs for this page

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 19:3219:32, 6 September 2017 J.waldmann talk contribs 5,775 bytes +79 →History of Termination Competitions

curprev 11:0411:04, 5 September 2017 Albert talk contribs 5,696 bytes +2 →History of Termination Competitions

curprev 13:3713:37, 16 August 2017 Ffrohn talk contribs 5,694 bytes +171 No edit summary

curprev 11:3011:30, 19 July 2017 Akihisa Yamada talk contribs 5,523 bytes −54 →Competition Categories
curprev 11:2611:26, 19 July 2017 Akihisa Yamada talk contribs 5,577 bytes +31 →Upcoming Competitions

curprev 08:3508:35, 17 July 2017 Albert talk contribs 5,546 bytes +133 →History of Termination Competitions

curprev 09:5509:55, 1 June 2017 J.waldmann talk contribs 5,413 bytes +392 →Competition Categories

curprev 09:2309:23, 4 May 2017 Albert talk contribs 5,021 bytes +84 →History of Termination Competitions

curprev 22:0422:04, 8 March 2017 J.waldmann talk contribs 4,937 bytes +78 →History of Termination Competitions
curprev 22:0222:02, 8 March 2017 J.waldmann talk contribs 4,859 bytes −38 No edit summary

curprev 11:4511:45, 22 July 2016 J.waldmann talk contribs 4,897 bytes +1 →Competition Categories
curprev 11:4311:43, 22 July 2016 J.waldmann talk contribs 4,896 bytes +27 →Upcoming Competitions

curprev 13:0313:03, 28 August 2015 Albert talk contribs 4,869 bytes 0 →History of Termination Competitions
curprev 13:0113:01, 28 August 2015 Albert talk contribs 4,869 bytes −63 No edit summary
curprev 12:5912:59, 28 August 2015 Albert talk contribs 4,932 bytes +62 No edit summary
curprev 12:5712:57, 28 August 2015 Albert talk contribs 4,870 bytes +281 No edit summary

curprev 19:1919:19, 3 August 2015 J.waldmann talk contribs 4,589 bytes +164 →Annual International Termination Competition

curprev 22:2322:23, 10 July 2015 Fuhs talk contribs m 4,425 bytes +14 →Annual International Termination Competition
curprev 22:2122:21, 10 July 2015 Fuhs talk contribs 4,411 bytes +143 update categories for TermComp 2015
curprev 22:1422:14, 10 July 2015 Fuhs talk contribs 4,268 bytes +11 link to wiki page for C programs
curprev 22:1222:12, 10 July 2015 Fuhs talk contribs 4,257 bytes +14 record TermComp state of 2014

curprev 12:4412:44, 22 June 2015 Cryingshadow talk contribs 4,243 bytes +13 Update upcoming competition

curprev 08:2508:25, 24 July 2014 Thiemann talk contribs 4,230 bytes +199 →History of Termination Competitions

curprev 08:2708:27, 20 May 2014 J.waldmann talk contribs 4,031 bytes +29 →Annual International Termination Competition

curprev 15:0615:06, 16 May 2014 J.waldmann talk contribs 4,002 bytes +25 →Competition Categories

curprev 10:0710:07, 14 May 2014 J.waldmann talk contribs 3,977 bytes +35 →Competition Categories

curprev 19:4319:43, 13 May 2014 J.waldmann talk contribs 3,942 bytes +95 →Annual International Termination Competition
curprev 19:4119:41, 13 May 2014 J.waldmann talk contribs 3,847 bytes −89 →Upcoming Competitions

curprev 18:2618:26, 21 February 2014 J.waldmann talk contribs 3,936 bytes −10 →Upcoming Competitions

curprev 08:4608:46, 22 October 2013 J.waldmann talk contribs 3,946 bytes −13 →Upcoming Competitions

curprev 11:4811:48, 3 July 2013 Thiemann talk contribs 3,959 bytes +194 No edit summary

curprev 13:2713:27, 12 February 2013 J.waldmann talk contribs 3,765 bytes −8 →Upcoming Competitions

curprev 14:3414:34, 9 July 2012 Thiemann talk contribs 3,773 bytes −31 No edit summary

curprev 11:5611:56, 6 July 2012 Giesl talk contribs m 3,804 bytes +153 →History of Termination Competitions
curprev 11:5311:53, 6 July 2012 Giesl talk contribs m 3,651 bytes +102 →History of Termination Competitions

curprev 12:5712:57, 12 June 2012 J.waldmann talk contribs 3,549 bytes +101 →Upcoming Competition

curprev 11:4211:42, 8 June 2012 Georg.moser talk contribs 3,448 bytes 0 No edit summary
curprev 11:4111:41, 8 June 2012 Georg.moser talk contribs 3,448 bytes +30 No edit summary
curprev 11:4011:40, 8 June 2012 Georg.moser talk contribs 3,418 bytes +19 No edit summary

curprev 07:2107:21, 5 April 2012 J.waldmann talk contribs 3,399 bytes +29 →Upcoming Competition
curprev 07:2007:20, 5 April 2012 J.waldmann talk contribs 3,370 bytes +25 →Upcoming Competition
curprev 07:1807:18, 5 April 2012 J.waldmann talk contribs 3,345 bytes −85 →Upcoming Competition

curprev 14:5614:56, 3 December 2011 J.waldmann talk contribs 3,336 bytes −98 →History of Termination Competitions
curprev 14:5014:50, 3 December 2011 J.waldmann talk contribs 3,434 bytes +69 →Upcoming Competition
curprev 14:4914:49, 3 December 2011 J.waldmann talk contribs 3,365 bytes +113 →Upcoming Competition

Retrieved from "http://termination-portal.org/wiki/Termination_Competition"