Loop invariant: Revision history

18 August 2023

• curprev 22:4722:47, 18 August 2023‎ OAbot talk contribs‎ m 17,510 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

20 May 2023

• curprev 06:4106:41, 20 May 2023‎ E.S.K.Rudhra talk contribs‎ 17,514 bytes +4‎ No edit summary undo

17 March 2023

• curprev 09:3209:32, 17 March 2023‎ Citation bot talk contribs‎ 17,510 bytes −40‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

18 February 2023

• curprev 02:1402:14, 18 February 2023‎ Citation bot talk contribs‎ 17,550 bytes +19‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2849/3500 undo

10 February 2023

• curprev 09:2409:24, 10 February 2023‎ Jochen Burghardt talk contribs‎ 17,531 bytes +77‎ Partly undid revision 1138524470 by Dgpop (talk): keep use of inv. in understanding the loop undo
• curprev 09:2209:22, 10 February 2023‎ Jochen Burghardt talk contribs‎ 17,454 bytes +27‎ Partly undid revision 1138524553 by Dgpop (talk): agree, but suggest to keep it as a typical example undo
• curprev 04:1204:12, 10 February 2023‎ Dgpop talk contribs‎ 17,427 bytes −21‎ →‎Use of loop invariants: don't need to narrow this down to "an assertion call" undo
• curprev 04:1104:11, 10 February 2023‎ Dgpop talk contribs‎ 17,448 bytes −92‎ →‎top: copyediting undo

13 October 2022

• curprev 15:4215:42, 13 October 2022‎ 72.55.152.247 talk‎ 17,540 bytes −35‎ The described invariant is a direct consequence of the code above and the definitions illustrated in the article, so there is no need for a citation here. undo

9 October 2022

• curprev 18:5318:53, 9 October 2022‎ Wasted Time R talk contribs‎ m 17,575 bytes +32‎ author link undo

23 September 2022

• curprev 00:2100:21, 23 September 2022‎ Wasted Time R talk contribs‎ 17,543 bytes +1,097‎ re-add Invariant Relation Theorem, clarifying reference and adding one example of notation undo

21 September 2022

• curprev 07:5707:57, 21 September 2022‎ Jochen Burghardt talk contribs‎ 16,446 bytes −646‎ Undid revision 1110690609 by Wasted Time R (talk): please rephrase to make more clear which "result" is meant (correntness of the Floyd-Hoard loop rule?) undo Tag: Undo

16 September 2022

• curprev 22:5422:54, 16 September 2022‎ Wasted Time R talk contribs‎ 17,092 bytes +646‎ add Invariant Relation Theorem undo Tag: Reverted

28 April 2022

• curprev 05:1805:18, 28 April 2022‎ VulcanSphere talk contribs‎ 16,446 bytes +67‎ Importing Wikidata short description: "Invariants used to prove properties of loops" (Shortdesc helper) undo

2 March 2022

• curprev 07:2607:26, 2 March 2022‎ Tea2min talk contribs‎ 16,379 bytes −166‎ →‎Distinction from loop-invariant code: Remove what to me seems a somewhat pedantic (and purely grammatical?) elaboration. Of course, feel free to revert if you disagree. undo
• curprev 07:1907:19, 2 March 2022‎ Tea2min talk contribs‎ 16,545 bytes +6‎ →‎Distinction from loop-invariant code: MOS:BOLDREDIRECT. Loop-invariant code redirects here to Loop invariant#Distinction from loop-invariant code. undo

22 November 2021

• curprev 09:4309:43, 22 November 2021‎ Jochen Burghardt talk contribs‎ 16,539 bytes 0‎ No edit summary undo Tag: Undo
• curprev 03:0103:01, 22 November 2021‎ 186.155.207.252 talk‎ 16,539 bytes 0‎ No edit summary undo Tag: Reverted
• curprev 02:3302:33, 22 November 2021‎ 186.155.207.252 talk‎ 16,539 bytes 0‎ No edit summary undo Tag: Reverted

18 August 2021

• curprev 08:4608:46, 18 August 2021‎ Jochen Burghardt talk contribs‎ 16,539 bytes −12‎ →‎Distinction from loop-invariant code: simplify grammar undo
• curprev 06:4306:43, 18 August 2021‎ Cedar101 talk contribs‎ m 16,551 bytes −52‎ →‎Floyd–Hoare logic: \mathtt, {{mvar}} undo

4 August 2021

• curprev 20:0920:09, 4 August 2021‎ Bangarmaine talk contribs‎ 16,603 bytes +2‎ No edit summary undo

6 December 2020

• curprev 04:5304:53, 6 December 2020‎ Monkbot talk contribs‎ m 16,601 bytes +4‎ Task 18 (cosmetic): eval 3 templates: hyphenate params (4×); undo Tag: AWB

19 May 2020

• curprev 13:0013:00, 19 May 2020‎ Jochen Burghardt talk contribs‎ 16,597 bytes −460‎ →‎Floyd–Hoare logic: no need to say the same again in other words undo
• curprev 12:5712:57, 19 May 2020‎ Jochen Burghardt talk contribs‎ 17,057 bytes −4‎ →‎Floyd–Hoare logic: a loop usually has more than one invariant undo
• curprev 10:4510:45, 19 May 2020‎ 79.21.182.240 talk‎ 17,061 bytes +13‎ →‎Floyd–Hoare logic undo

11 May 2020

• curprev 18:0518:05, 11 May 2020‎ DannyS712 bot talk contribs‎ m 17,048 bytes +72‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

15 April 2020

• curprev 02:5902:59, 15 April 2020‎ 2601:600:8880:ce70:b9ff:d422:f6bb:b774 talk‎ 16,976 bytes +1‎ →‎Informal example undo

14 April 2020

• curprev 17:2517:25, 14 April 2020‎ OAbot talk contribs‎ m 16,975 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

25 September 2019

• curprev 02:0002:00, 25 September 2019‎ Monkbot talk contribs‎ m 16,957 bytes −3‎ →‎Floyd–Hoare logic: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

21 September 2019

• curprev 08:2308:23, 21 September 2019‎ Raise exception talk contribs‎ 16,960 bytes +25‎ Change link to "C (programming language)" undo

20 July 2019

• curprev 15:1415:14, 20 July 2019‎ Dgpop talk contribs‎ 16,935 bytes −13‎ →‎Floyd–Hoare logic: Word not needed undo Tags: Mobile edit Mobile web edit
• curprev 15:1215:12, 20 July 2019‎ Dgpop talk contribs‎ 16,948 bytes −130‎ Moved prose to hatnote. undo Tags: Mobile edit Mobile web edit

4 May 2019

• curprev 09:5909:59, 4 May 2019‎ Uziel302 talk contribs‎ m 17,078 bytes +1‎ guaranted->guaranteed - Fix a typo in one click undo

20 March 2019

• curprev 17:5417:54, 20 March 2019‎ AnomieBOT talk contribs‎ m 17,077 bytes +16‎ Dating maintenance tags: {{Dead link}} undo
• curprev 17:3417:34, 20 March 2019‎ Jarble talk contribs‎ 17,061 bytes +13‎ tagging a WP:broken link undo

22 February 2019

• curprev 10:5010:50, 22 February 2019‎ Citation bot talk contribs‎ m 17,048 bytes +73‎ Add: year, author pars. 1-2. | You can use this bot yourself. Report bugs here. | User-activated. undo

18 December 2018

• curprev 04:3204:32, 18 December 2018‎ Jarble talk contribs‎ 16,975 bytes +354‎ adding links to references using Google Scholar undo

28 August 2018

• curprev 08:1608:16, 28 August 2018‎ Jochen Burghardt talk contribs‎ 16,621 bytes +11‎ Undid revision 856891574 by 192.38.67.250 (talk): although this is redundant, better keep it for clarity, in particular for novice programmers undo Tag: Undo
• curprev 06:1006:10, 28 August 2018‎ 192.38.67.250 talk‎ 16,610 bytes −11‎ No edit summary undo

29 April 2018

• curprev 15:4415:44, 29 April 2018‎ Jochen Burghardt talk contribs‎ 16,621 bytes +3‎ Undid revision 837601521 by BriefAeon (talk): suggest to keep enumeration of lino.s, this may help non-programmers to consider the leftmost numbers as line numbers; references aren't robust wrt. line insertions/deletion anyway, due to the later lino uses in text undo Tag: Undo

21 April 2018

• curprev 21:1521:15, 21 April 2018‎ BriefAeon talk contribs‎ m 16,618 bytes −3‎ →‎Informal example: Changed line numbers to description of comments undo Tag: 2017 wikitext editor

27 January 2018

• curprev 13:4113:41, 27 January 2018‎ DePiep talk contribs‎ m 16,621 bytes 0‎ Citation needed: fix/cleanup parameters (via WP:JWB) undo

11 November 2017

• curprev 19:5819:58, 11 November 2017‎ Jochen Burghardt talk contribs‎ 16,621 bytes −17‎ →‎Example: oops - overlooked nonterminating, or throwing, body code undo
• curprev 19:4019:40, 11 November 2017‎ Jochen Burghardt talk contribs‎ 16,638 bytes +579‎ →‎Floyd–Hoare logic: adapt rendering in example also; own example subsection; move all general explanations before exm.; clarify that the invariant has to be guessed manually; suggest to mention 2 more inv.s ("bad guesses") of the exm. loop body undo
• curprev 19:0019:00, 11 November 2017‎ Jochen Burghardt talk contribs‎ 16,059 bytes +131‎ →‎Floyd–Hoare logic: attempt to rephrase informal descr. of loop rule, to make more clear that it is a condition "if upper then lower"; adapt rendering of next paragraph (repeating the same in different words - keeping both versions for now) undo
• curprev 18:1718:17, 11 November 2017‎ Jochen Burghardt talk contribs‎ 15,928 bytes +19‎ →‎Floyd–Hoare logic: fixed template field names undo
• curprev 18:1518:15, 11 November 2017‎ Jochen Burghardt talk contribs‎ 15,909 bytes +693‎ →‎Floyd–Hoare logic: keep Hoare.1969 ref; convert Floyd.1967 ref, with new URL, to ((cite)) undo
• curprev 16:2816:28, 11 November 2017‎ 72.68.150.92 talk‎ 15,216 bytes −523‎ →‎Floyd–Hoare logic: Updated reference to non-dead link undo Tag: references removed

24 June 2017

• curprev 10:1510:15, 24 June 2017‎ Bangarmaine talk contribs‎ 15,739 bytes +661‎ Added reference to recent survey undo