User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:05, 29 July 2015 diff hist -4 m C Programs format fix current
- 15:04, 29 July 2015 diff hist +26 m C Programs formatting
- 15:00, 29 July 2015 diff hist +949 C Programs new rules according to discussion on termtools
- 17:36, 6 July 2015 diff hist +34 C Integer Programs parse expressions from left to right when there are no parantheses current
- 16:51, 6 July 2015 diff hist +1 C Integer Programs allow negative mutliplicative expressions
- 16:21, 6 July 2015 diff hist +1 C Integer Programs allow chaining of expressions without parantheses (e.g., 1 + 1 + 1 instead of 1 + (1 + 1))
- 09:44, 6 July 2015 diff hist +107 C Integer Programs also allow comments
- 15:29, 3 July 2015 diff hist +3,005 C Integer Programs provide ANTLR grammar to fix issues with old grammar and make it easier for other participants to build a parser
- 13:11, 22 June 2015 diff hist -1 C Integer Programs
- 13:10, 22 June 2015 diff hist +10 C Integer Programs fix format and grammar
- 13:08, 22 June 2015 diff hist +55 C Integer Programs
- 13:05, 22 June 2015 diff hist +719 C Integer Programs
- 12:57, 22 June 2015 diff hist +1,620 N C Integer Programs Add new page for integer C category
- 12:44, 22 June 2015 diff hist +13 Termination Competition Update upcoming competition
- 12:52, 2 August 2014 diff hist +1,049 Termination Competition 2014 Questionnaire
- 11:13, 2 July 2014 diff hist +393 C Programs
- 11:10, 10 June 2014 diff hist +9 Termination Competition 2014 →Registration Info (tentative)
- 09:16, 23 May 2012 diff hist +637 Logic Programming →Syntax/Semantics for Input/Output: adapted to current competition customs
- 09:25, 24 May 2011 diff hist 0 m Logic Programming
- 09:20, 24 May 2011 diff hist +345 Logic Programming
