User contributions
From Termination-Portal.org
Jump to navigationJump to search- 14:54, 21 February 2014 diff hist +14 TPDB →Sources
- 14:53, 21 February 2014 diff hist +617 TPDB
- 08:47, 22 October 2013 diff hist +106 N Termination Competition 2014 Created page with "In 2014, the Termination Competition will be part of the [http://vsl2014.at/olympics/ FLoC Olympic Games]."
- 08:46, 22 October 2013 diff hist -13 Termination Competition →Upcoming Competitions
- 09:45, 5 September 2013 diff hist +165 WST
- 11:58, 26 August 2013 diff hist +60 WST2013 current
- 13:54, 19 July 2013 diff hist +21 WST2013 →Registration, Travel
- 13:54, 19 July 2013 diff hist +40 WST2013 →Important Dates
- 14:20, 14 July 2013 diff hist 0 WST2013 →Important Dates
- 09:42, 11 July 2013 diff hist +530 WST2013 →Registration, Travel
- 11:16, 10 July 2013 diff hist -4 WST2013 →Program Committee
- 09:12, 10 July 2013 diff hist +566 N News:Workshop on Termination 2013: August 28 - 31 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
- 09:08, 10 July 2013 diff hist -200 WST
- 09:07, 10 July 2013 diff hist +1 WST
- 09:07, 10 July 2013 diff hist -6 WST
- 09:06, 10 July 2013 diff hist +551 WST2013 →Program Committee
- 09:03, 10 July 2013 diff hist +301 WST2013
- 08:58, 10 July 2013 diff hist +3,924 N WST2013 Created page with " The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical o..."
- 08:54, 10 July 2013 diff hist -63 WST
- 13:29, 12 February 2013 diff hist +333 N Termination Competition 2013 Created page with "The Termination Competition 2013 will be run during the [http://www.win.tue.nl/rdp2013/ RDP 2013 Conference] (June 23 - June 28). The competition will be hosted on the [http:..."
- 13:27, 12 February 2013 diff hist -8 Termination Competition →Upcoming Competitions
- 13:25, 12 February 2013 diff hist -10 WST
- 22:04, 22 January 2013 diff hist +85 WST
- 09:50, 27 June 2012 diff hist +27 Contribute →How to Contribute current
- 07:14, 27 June 2012 diff hist -36 Tools:HOT current
- 18:30, 26 June 2012 diff hist +825 N Tools:HOT Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."
- 18:27, 26 June 2012 diff hist +763 N Tools:THOR Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:25, 26 June 2012 diff hist +768 N Tools:Wanda Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:19, 26 June 2012 diff hist +676 N Termination Competition 2012 Comments Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va..."
- 18:11, 26 June 2012 diff hist +43 Termination Competition 2012 current
- 17:41, 25 June 2012 diff hist 0 Star Exec →Extra Features
- 17:41, 25 June 2012 diff hist +46 Star Exec →Extra Features
- 16:43, 24 June 2012 diff hist 0 Star Exec Test current
- 16:32, 24 June 2012 diff hist +302 Star Exec Test
- 16:26, 24 June 2012 diff hist +211 Star Exec Test
- 14:16, 24 June 2012 diff hist 0 Star Exec Test
- 14:13, 24 June 2012 diff hist 0 Star Exec Test
- 14:10, 24 June 2012 diff hist +881 Star Exec Test
- 13:59, 24 June 2012 diff hist +1,489 Star Exec Test
- 13:24, 24 June 2012 diff hist +1,389 N Star Exec Test Created page with "This is an collection of notes that I (JW) am making while using the Star Exec service. The plan is to submit some benchmarks (from TPDB), submit some solvers (initially, my o..."
- 12:46, 24 June 2012 diff hist +94 Star Exec
- 22:21, 21 June 2012 diff hist +255 Star Exec →Running the Competition
- 22:18, 21 June 2012 diff hist +85 Star Exec →Extra Features
- 08:32, 13 June 2012 diff hist +56 Star Exec
- 08:30, 13 June 2012 diff hist +547 Star Exec
- 08:21, 13 June 2012 diff hist +900 Star Exec
- 13:04, 12 June 2012 diff hist +918 N Star Exec Created page with "[http://www.starexec.org/ StarExec] is a cross-community solver execution and benchmark library service under joint development at the University of Iowa and the University o..."
- 12:57, 12 June 2012 diff hist +101 Termination Competition →Upcoming Competition
- 07:31, 5 April 2012 diff hist +388 N Termination Competition 2012 Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a..."
- 07:21, 5 April 2012 diff hist +29 Termination Competition →Upcoming Competition
