Invariant (computer science): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 17:1117:11, 30 October 2018 Christian75 talk contribs 166 bytes +66 Categories undo

curprev 10:3310:33, 26 October 2018 Renamed user 7hq09uwypo226qfc talk contribs 100 bytes −7,199 Undid revision 865730932 by Jochen Burghardt (talk) see history of Invariant (mathematics) — all content was indeed merged there. undo Tags: New redirect Undo

curprev 19:4319:43, 25 October 2018 Jochen Burghardt talk contribs 7,299 bytes +7,199 Undid revision 865700746 by Nowak Kowalski (talk): deletion of content without proper justification (misleadng edit summary: no merge was actually done); a merge should be discussed on talk page first undo Tags: Removed redirect Undo
curprev 16:0616:06, 25 October 2018 Renamed user 7hq09uwypo226qfc talk contribs 100 bytes −7,199 Merged this POV fork into Invariant (mathematics) as any content that could be plausibly put here either is useful in general invariant article or belongs in Loop invariant undo Tag: New redirect

curprev 05:1605:16, 27 August 2018 Maneesh talk contribs 7,299 bytes −110 Undid revision 856723126 by 122.164.183.65 (talk) undo Tag: Undo
curprev 04:4504:45, 27 August 2018 122.164.183.65 talk 7,409 bytes +110 Loop invariant undo Tags: Mobile edit Mobile web edit

curprev 17:2417:24, 25 August 2018 Jochen Burghardt talk contribs 7,299 bytes +4 →Automatic invariant detection in imperative programs: changed wording as proposed on talk page undo

curprev 09:0409:04, 23 August 2018 Jochen Burghardt talk contribs 7,295 bytes −35 →Automatic invariant detection in imperative programs: mainly not an issue of current state of the art: theoretical undecidibility results severly limit the choice of abstract-interpretation domains undo
curprev 08:5008:50, 23 August 2018 Jochen Burghardt talk contribs 7,330 bytes +73 →Automatic invariant detection in imperative programs: restore sentence about Hoare-style verification being tedious, now weakened by "still" undo
curprev 00:3400:34, 23 August 2018 Maneesh talk contribs 7,257 bytes +20 Tried softening assertions a little with qualifiers e.g., "no tool" -> "currently no general automated tool" undo

curprev 08:4708:47, 16 August 2018 Jochen Burghardt talk contribs 7,237 bytes +226 →Example: Hofstadter ref. for/from MU puzzle undo
curprev 08:3808:38, 16 August 2018 Jochen Burghardt talk contribs 7,011 bytes 0 Undid revision 854992629 by 27.255.10.206 (talk) undo Tag: Undo

curprev 05:2005:20, 15 August 2018 27.255.10.206 talk 7,011 bytes 0 →Use undo

curprev 15:2015:20, 25 July 2018 Yahya Abdal-Aziz talk contribs 7,011 bytes −125 →See also: - remove redundant links (to those articles already linked in the body of this article) undo
curprev 14:5814:58, 25 July 2018 Yahya Abdal-Aziz talk contribs 7,136 bytes +16 →Automatic invariant detection in imperative programs: - wl the Hoare calculus undo

curprev 10:2510:25, 5 June 2018 MarkSinnathamby talk contribs m 7,120 bytes +4 Grammar corrections in para 1 undo Tag: Visual edit

curprev 20:5620:56, 27 July 2017 Jochen Burghardt talk contribs 7,116 bytes −4 Undid revision 792639514 by Thulkandrian (talk) undo
curprev 18:3118:31, 27 July 2017 Thulkandrian talk contribs 7,120 bytes +4 →Example undo

curprev 07:1007:10, 17 June 2017 Magic links bot talk contribs m 7,116 bytes +4 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 13:5013:50, 11 May 2017 NoToleranceForIntolerance talk contribs 7,112 bytes +28 →External links undo

curprev 10:0510:05, 12 April 2017 InternetArchiveBot talk contribs 7,084 bytes +107 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.3beta5) undo

curprev 18:4718:47, 22 October 2016 73.228.174.14 talk 6,977 bytes +34 →See also undo

curprev 00:1500:15, 9 March 2016 Dlpolanco talk contribs m 6,943 bytes +3 Add a missing word: "is" undo

curprev 22:5022:50, 9 February 2016 179.208.236.158 talk 6,940 bytes +25 →See also: sort and add item undo

curprev 13:2613:26, 31 December 2015 Jochen Burghardt talk contribs 6,915 bytes +33 →Example: trying to improve wording undo

curprev 14:3714:37, 30 December 2015 78.51.229.207 talk 6,882 bytes +16 "invariant" -> "invariant(doesn't change)", because using the word to explain in its explanation is a bad idea. undo

curprev 20:5220:52, 28 August 2015 Dexbot talk contribs m 6,866 bytes +382 Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 14:0414:04, 10 August 2015 Mhollo talk contribs 6,484 bytes −33 Small edits for grammar and style; no need for boldface, "in computer programs" context is redundant undo

curprev 23:2523:25, 11 March 2015 Jochen Burghardt talk contribs 6,517 bytes −2 Undid revision 650957816 by Weirdindiankid (talk): notation should remain consistent throughout the whole article undo
curprev 21:3021:30, 11 March 2015 Weirdindiankid talk contribs m 6,519 bytes +2 No edit summary undo

curprev 13:3113:31, 12 October 2014 Mdd talk contribs m 6,517 bytes +17 + Link(s) undo

curprev 08:5608:56, 18 September 2014 220.227.32.5 talk 6,500 bytes +2 →Use undo

curprev 11:3211:32, 6 April 2014 Jochen Burghardt talk contribs 6,498 bytes +40 →Example: rephrased puzzle def. to clarify that 220.244.173.35's (thanks!) 2nd transformation wasn't admitted undo
curprev 10:1810:18, 6 April 2014 220.244.173.35 talk 6,458 bytes +78 Shown that it actually is possible undo

curprev 17:3817:38, 15 February 2014 Jochen Burghardt talk contribs 6,380 bytes −269 moved ref.s to central ((cite doi)) template pages, where possible undo

curprev 03:0703:07, 22 January 2014 Monkbot talk contribs m 6,649 bytes −6 →Automatic invariant detection in imperative programs: Fix CS1 deprecated date parameter errors undo

curprev 19:5619:56, 28 September 2013 Shiny.Magnum talk contribs m 6,655 bytes 0 →Automatic invariant detection in imperative programs: spelling of "invariant". undo

curprev 20:1320:13, 1 September 2013 刘函 talk contribs 6,655 bytes −152 →External links: the link i broken undo Tag: Visual edit

curprev 13:5913:59, 26 August 2013 Nbarth talk contribs 6,807 bytes +128 assertion undo

curprev 12:1212:12, 15 August 2013 Jochen Burghardt talk contribs m 6,679 bytes +23 →Automatic invariant detection in imperative programs: typo, layout undo

curprev 07:4507:45, 9 June 2013 Yobot talk contribs m 6,656 bytes +1 WP:CHECKWIKI error fixes using AWB (9241) undo

curprev 23:2123:21, 10 May 2013 121.45.197.195 talk 4,299 bytes +39 →See also: Added wikilink to related applied topic "assertion" undo

curprev 04:1604:16, 26 February 2013 Addbot talk contribs m 4,260 bytes −295 Bot: Migrating 8 interwiki links, now provided by Wikidata on d:q385374 (Report Errors) undo

curprev 03:3803:38, 9 January 2013 AndrewCMyers talk contribs 4,555 bytes +28 The high-level definition of an invariant was not correct -- it was more like the notion of an invariant quantity in physics. It wasn't even consistent with the example below. undo

curprev 14:1714:17, 27 September 2012 76.19.126.1 talk 4,527 bytes −188 This entire article needs to be thrown out and rewritten. undo

30 October 2018

26 October 2018

25 October 2018

27 August 2018

25 August 2018

23 August 2018

16 August 2018

15 August 2018

25 July 2018

5 June 2018

27 July 2017

17 June 2017

11 May 2017

12 April 2017

22 October 2016

9 March 2016

9 February 2016

31 December 2015

30 December 2015

28 August 2015

10 August 2015

11 March 2015

12 October 2014

18 September 2014

6 April 2014

15 February 2014

22 January 2014

28 September 2013

1 September 2013

26 August 2013

15 August 2013

9 June 2013

24 May 2013

10 May 2013

26 February 2013

9 January 2013

27 September 2012