Extended static checking: 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 14:2914:29, 29 September 2023 92.40.217.2 talk 7,767 bytes +47 No edit summary undo

curprev 19:2319:23, 27 August 2023 Citation bot talk contribs 7,720 bytes −1 Add: title. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 06:4406:44, 8 August 2023 Headbomb talk contribs m 7,721 bytes −33 →Further reading: clean up undo Tag: AWB

curprev 03:4303:43, 7 August 2023 Citation bot talk contribs 7,754 bytes −57 Alter: title. Add: date, chapter. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 683/2306 undo

curprev 12:5912:59, 23 July 2023 Citation bot talk contribs 7,811 bytes −62 Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 186/2384 undo

curprev 08:0508:05, 4 January 2023 Citation bot talk contribs 7,873 bytes +231 Alter: title. Add: chapter, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1660/2500 undo

curprev 14:1514:15, 21 January 2022 Pol098 talk contribs m 7,642 bytes −7 →top undo
curprev 14:1314:13, 21 January 2022 Pol098 talk contribs m 7,649 bytes +96 No edit summary undo
curprev 14:0714:07, 21 January 2022 Pol098 talk contribs m 7,553 bytes +457 No edit summary undo

curprev 09:1909:19, 12 January 2022 Finlay McWalter talk contribs 7,096 bytes 0 link first mention not second ; ordinary caps undo

curprev 14:0014:00, 12 August 2021 Sandstein talk contribs m 7,096 bytes −15 Removing link(s) Wikipedia:Articles for deletion/Spec Sharp closed as delete (XFDcloser) undo

curprev 22:4122:41, 17 April 2020 OAbot talk contribs m 7,111 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 01:0601:06, 6 September 2019 David Eppstein talk contribs 7,095 bytes +22 Stephanie Weirich undo

curprev 15:1215:12, 14 August 2019 InternetArchiveBot talk contribs 7,073 bytes +74 Rescuing 0 sources and tagging 1 as dead. #IABot (v2.0beta15) undo

curprev 19:5719:57, 18 June 2019 Timtempleton talk contribs 6,999 bytes +20 added important context undo

curprev 07:2007:20, 10 February 2019 Citation bot talk contribs m 6,979 bytes +204 Alter: journal, template type. Add: series, citeseerx, isbn. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 20:0120:01, 17 June 2017 David Eppstein talk contribs m 6,775 bytes +18 James B. Saxe undo

curprev 23:0323:03, 5 March 2016 Yobot talk contribs m 6,757 bytes +1 →Further reading: WP:CHECKWIKI error fixes / ISSN syntax fixes using AWB (11964) undo

curprev 16:5616:56, 22 April 2015 Rjwilmsi talk contribs m 6,756 bytes −30 Journal cites, using AWB (10870) undo

curprev 16:5816:58, 16 February 2015 58.182.250.23 talk 6,786 bytes −3 Correction: "completeness" replaced with "soundness". If false negatives are allowed then it is soundness that is lost. undo

curprev 18:3118:31, 16 August 2014 77.23.124.135 talk 6,789 bytes +8 Wrong article linked undo

curprev 15:4015:40, 16 February 2014 50.53.15.59 talk 6,781 bytes +48 →See also undo

curprev 18:1018:10, 31 January 2014 Quebec99 talk contribs m 6,733 bytes −209 fixed references undo

curprev 10:2310:23, 26 January 2014 Cobalt174 talk contribs 6,942 bytes +2 No edit summary undo

curprev 08:1008:10, 10 January 2013 BG19bot talk contribs m 6,940 bytes +1 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (8853) undo

curprev 22:1022:10, 6 September 2012 72.22.163.38 talk 6,939 bytes −171 Reworked a tough sentence in paragraph 2. undo

curprev 18:2918:29, 24 April 2012 71.173.90.2 talk 7,110 bytes +12 No edit summary undo
curprev 18:2718:27, 24 April 2012 71.173.90.2 talk 7,098 bytes +193 No edit summary undo

curprev 21:0521:05, 25 February 2012 FrescoBot talk contribs m 6,905 bytes −14 Bot: link syntax/spacing undo

curprev 17:1717:17, 2 February 2012 Dabenavidesd talk contribs 6,919 bytes +193 In second parragraph Just make clear scaling technology in ESC is key point and some clarification in thrid parragraph undo
curprev 15:4115:41, 2 February 2012 Dabenavidesd talk contribs 6,726 bytes +116 Make sense on parrapraph 1, of the targeted errors and completness of ESC relative of the utility of errors caught, rather than the utility of a straight answer checker that would not miss anyone as r undo

curprev 23:2823:28, 1 February 2012 Dabenavidesd talk contribs 6,610 bytes +409 Modular checking provides safety respect of a program contract ("contracts"), which is the main concept here, so Modular program checking is as is, but program analysis its done at intraprocedure leve undo

curprev 19:2719:27, 14 December 2011 Cybercobra talk contribs m 6,201 bytes −26 cleanup; Disambiguated: pointer (computing)#Null pointer → Null pointer using Dab solver undo

curprev 15:0215:02, 19 May 2011 Citation bot talk contribs m 6,227 bytes +12 [344]+: issue, year. Formatted dashes. undo

curprev 14:3914:39, 13 February 2011 Cydebot talk contribs m 6,215 bytes +9 Robot - Moving category Static code analysis to Static program analysis tools per CFD at Wikipedia:Categories for discussion/Log/2011 January 31. undo

curprev 11:2811:28, 26 December 2010 Yobot talk contribs m 6,206 bytes −14 WP:CHECKWIKI error fixes + general fixes, removed stub tag using AWB (7507) undo

curprev 12:1112:11, 21 December 2010 DixonD talk contribs 6,220 bytes −33 No edit summary undo

curprev 10:0810:08, 1 September 2010 Cybercobra talk contribs m 6,253 bytes −1 No edit summary undo
curprev 10:0810:08, 1 September 2010 Cybercobra talk contribs 6,254 bytes +8 reclassify undo
curprev 09:0009:00, 1 September 2010 Cybercobra talk contribs 6,246 bytes +583 →References: template refs undo
curprev 08:4708:47, 1 September 2010 Cybercobra talk contribs m 5,663 bytes −8 →References undo

curprev 05:0805:08, 31 August 2010 FrescoBot talk contribs m 5,671 bytes +1 Bot: fixing section wikilinks undo

curprev 21:0921:09, 10 July 2010 Redjamjar talk contribs m 5,670 bytes +6 No edit summary undo
curprev 21:0821:08, 10 July 2010 Redjamjar talk contribs m 5,664 bytes +3 No edit summary undo
curprev 21:0821:08, 10 July 2010 Redjamjar talk contribs m 5,661 bytes −4 No edit summary undo
curprev 21:0721:07, 10 July 2010 Redjamjar talk contribs m 5,665 bytes −3 No edit summary undo

curprev 23:2323:23, 9 July 2010 Redjamjar talk contribs m 5,668 bytes −9 No edit summary undo
curprev 23:2323:23, 9 July 2010 Redjamjar talk contribs m 5,677 bytes 0 No edit summary undo
curprev 23:2223:22, 9 July 2010 Redjamjar talk contribs m 5,677 bytes +119 No edit summary undo
curprev 23:1823:18, 9 July 2010 Redjamjar talk contribs m 5,558 bytes +1 No edit summary undo

29 September 2023

27 August 2023

8 August 2023

7 August 2023

23 July 2023

4 January 2023

21 January 2022

12 January 2022

12 August 2021

17 April 2020

6 September 2019

14 August 2019

18 June 2019

10 February 2019

17 June 2017

5 March 2016

22 April 2015

16 February 2015

16 August 2014

16 February 2014

31 January 2014

26 January 2014

10 January 2013

6 September 2012

24 April 2012

25 February 2012

2 February 2012

1 February 2012

14 December 2011

19 May 2011

13 February 2011

26 December 2010

21 December 2010

1 September 2010

31 August 2010

10 July 2010

9 July 2010