User contributions for Griff

13 March 2019

• 12:0512:05, 13 March 2019 diff hist +28 Termination Competition 2019 →Dates

7 May 2018

• 18:1118:11, 7 May 2018 diff hist −1 m Termination Competition 2018 →Registration

27 April 2018

• 08:3308:33, 27 April 2018 diff hist +152 Termination Competition Steering Committee update the StarExec and new SC

30 May 2014

• 12:3012:30, 30 May 2014 diff hist −38 People:Christian Sternagel No edit summary current

24 February 2012

• 00:5000:50, 24 February 2012 diff hist +44 People:Christian Sternagel No edit summary

9 April 2010

• 12:4612:46, 9 April 2010 diff hist +24 N Tools:Tool Cime moved Tools:Tool Cime to Tools:Cime: redundant naming current
• 12:4612:46, 9 April 2010 diff hist 0 m Tools:Cime moved Tools:Tool Cime to Tools:Cime: redundant naming current
• 12:4412:44, 9 April 2010 diff hist −39 Tools:IsaFoR No edit summary

12 January 2010

• 08:5808:58, 12 January 2010 diff hist +578 N News:Proposal - Rename XTC 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 here …' current
• 08:4908:49, 12 January 2010 diff hist +477 Talk:XTC Format Specification →Proposed Change: new section current

18 May 2009

• 14:2914:29, 18 May 2009 diff hist −32 Bibtex:KSZM09 No edit summary current
• 14:2914:29, 18 May 2009 diff hist +7 Bibtex:KSZM09 No edit summary
• 14:2814:28, 18 May 2009 diff hist +99 Bibtex:KSZM09 No edit summary
• 14:2414:24, 18 May 2009 diff hist −1 Bibtex:KSZM09 No edit summary
• 14:2314:23, 18 May 2009 diff hist +24 Bibtex:KSZM09 No edit summary
• 14:2014:20, 18 May 2009 diff hist +17 Bibtex:KSZM09 No edit summary
• 14:1914:19, 18 May 2009 diff hist +644 N Bibtex:KSZM09 New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...
• 14:0914:09, 18 May 2009 diff hist +45 Tools:TTT2 No edit summary current

20 March 2009

• 15:2215:22, 20 March 2009 diff hist +4 Tools:TTT2 No edit summary
• 15:2215:22, 20 March 2009 diff hist +645 N Tools:CeTA New page: <!-- 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 page yourself af...

20 November 2008

• 16:4716:47, 20 November 2008 diff hist +189 Termination Competition Platform →Wishlist: Query Interface
• 15:0115:01, 20 November 2008 diff hist +203 Termination Competition Platform →Wishlist: Query Interface
• 14:5814:58, 20 November 2008 diff hist −2 Termination Competition Platform →Wishlist: Query Interface

5 November 2008

• 08:0608:06, 5 November 2008 diff hist +78 Tools:CaT No edit summary

21 May 2008

• 13:0613:06, 21 May 2008 diff hist +1 MicroTTT No edit summary current
• 13:0513:05, 21 May 2008 diff hist +704 MicroTTT No edit summary
• 12:5812:58, 21 May 2008 diff hist +30 MicroTTT No edit summary
• 12:5712:57, 21 May 2008 diff hist −21 MicroTTT →\muTTT
• 12:5712:57, 21 May 2008 diff hist +21 N MicroTTT New page: =<math>\mu</math>TTT=
• 12:5612:56, 21 May 2008 diff hist +2 WScT08 →Results (Certification)
• 12:5512:55, 21 May 2008 diff hist +13 WScT08 →Results (Certification)

17 May 2008

• 14:2014:20, 17 May 2008 diff hist +145 Handling DG and SCCs No edit summary current
• 14:1814:18, 17 May 2008 diff hist +34 N Handling SCCs Handling SCCs moved to Handling DG and SCCs current
• 14:1814:18, 17 May 2008 diff hist 0 m Handling DG and SCCs Handling SCCs moved to Handling DG and SCCs
• 14:1714:17, 17 May 2008 diff hist +3 WScT08 →Material
• 14:1014:10, 17 May 2008 diff hist +3 Handling DG and SCCs No edit summary
• 14:1014:10, 17 May 2008 diff hist −2 WScT08 →Material
• 14:0914:09, 17 May 2008 diff hist +9 WScT08 →Material
• 14:0914:09, 17 May 2008 diff hist +276 N Handling DG and SCCs New page: (Idea, please extend) Termination Prover computes SCCs and outputs them. Proof assistant does not have to recompute SCCs (which is costly). Prover has to indicate topological ordering on S...
• 14:0614:06, 17 May 2008 diff hist +54 WScT08 →Material
• 12:3712:37, 17 May 2008 diff hist +2 WScT08 →Material
• 12:3612:36, 17 May 2008 diff hist +110 WScT08 →Material
• 12:3412:34, 17 May 2008 diff hist +74 WScT08 →Registration
• 08:3708:37, 17 May 2008 diff hist +3 WScT08 →Material
• 08:3408:34, 17 May 2008 diff hist +121 WScT08 →Program

15 May 2008

• 16:2116:21, 15 May 2008 diff hist +303 WScT08 →Registration

10 April 2008

• 10:1510:15, 10 April 2008 diff hist +37 WScT08 →Registration/Program

1 April 2008

• 08:5208:52, 1 April 2008 diff hist 0 People:Christian Sternagel No edit summary
• 08:5208:52, 1 April 2008 diff hist 0 People:Christian Sternagel No edit summary
• 08:5108:51, 1 April 2008 diff hist +628 N People:Christian Sternagel New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...