Program analysis: 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 22:1522:15, 5 August 2024 David Eppstein talk contribs 10,125 bytes +32 Hanne Riis Nielson undo

curprev 15:5215:52, 27 July 2024 Atamrawi talk contribs 10,093 bytes +131 Rewording for clarity undo Tag: Visual edit

curprev 02:4702:47, 16 March 2023 Citation bot talk contribs 9,962 bytes −24 Add: s2cid. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 22:3222:32, 1 March 2023 Siddharthist talk contribs 9,986 bytes +21 Add {{Program analysis}} undo Tag: 2017 wikitext editor

curprev 08:3708:37, 1 February 2023 DarkAudit talk contribs m 9,965 bytes −2 Reverted edits by 96.9.86.165 (talk) (HG) (3.4.11) undo Tag: Rollback
curprev 08:3608:36, 1 February 2023 96.9.86.165 talk 9,967 bytes +2 →Program slicing undo Tag: Reverted

curprev 11:4111:41, 9 October 2022 Squam Lizard talk contribs 9,965 bytes +69 Adding local short description: "Process of analyzing computer program behavior", overriding Wikidata description "process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness" undo Tag: Shortdesc helper

curprev 12:5712:57, 6 August 2022 2a02:1812:110c:dc00:4511:1a03:4da6:9852 talk 9,896 bytes +79 No edit summary undo

curprev 14:4214:42, 13 September 2021 JoeNMLC talk contribs 9,817 bytes +18 →See also: add Polyvariance undo

curprev 16:2116:21, 8 April 2021 Comp.arch talk contribs m 9,799 bytes 0 No edit summary undo Tag: 2017 wikitext editor

curprev 21:5521:55, 12 January 2021 WikiCleanerBot talk contribs m 9,799 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 21:1921:19, 18 February 2020 AManWithNoPlan talk contribs 9,799 bytes +121 Alter: title. Add: isbn, year, pages, doi, chapter. Removed URL that duplicated unique identifier. Formatted dashes. Some additions/deletions were actually parameter name changes. | You can use this tool yourself. Report bugs here. | via #UCB_Gadget undo

curprev 14:1014:10, 22 September 2019 Jarble talk contribs 9,678 bytes +26 →See also undo

curprev 21:0521:05, 27 August 2019 Bender the Bot talk contribs m 9,652 bytes +1 →Further reading: HTTP → HTTPS for Columbia.edu CS, replaced: http://www.cs.columbia.edu/ → https://www.cs.columbia.edu/ undo Tag: AWB

curprev 08:3108:31, 8 April 2019 79.107.104.246 talk 9,651 bytes 0 MOS:SECTIONORDER undo

curprev 04:2804:28, 16 February 2019 Jarble talk contribs 9,651 bytes +226 adding links to references using Google Scholar undo

curprev 14:0114:01, 31 December 2018 StraussInTheHouse talk contribs m 9,425 bytes +9 →top: has at least one reference, see info undo Tag: AWB

curprev 06:4406:44, 19 November 2018 Enterprisey talk contribs 9,416 bytes −168 →top: rm sentence from lead, information doesn't appear in remainder of article undo Tag: Visual edit

curprev 11:3211:32, 26 October 2018 129.67.117.237 talk 9,584 bytes −11 grammar fix: meaning remains unchanged undo

curprev 22:0222:02, 31 August 2018 Allforrous talk contribs 9,595 bytes +38 →See also: Commonscat-inline template. undo

curprev 15:1615:16, 9 May 2018 Ancheta Wis talk contribs 9,531 bytes +26 →Type systems: link to a specific section undo

curprev 01:5201:52, 4 May 2018 Dexbot talk contribs m 9,505 bytes 0 Bot: Aligning section names with MOS:SECTIONS undo

curprev 20:2420:24, 10 April 2018 185.92.26.8 talk 9,505 bytes +205 →Static program analysis: added ref undo
curprev 20:2220:22, 10 April 2018 185.92.26.8 talk 9,300 bytes +28 added refs undo
curprev 20:2020:20, 10 April 2018 185.92.26.8 talk 9,272 bytes +102 No edit summary undo
curprev 20:1420:14, 10 April 2018 185.92.26.8 talk 9,170 bytes +179 adding link to a sub matter undo

curprev 20:3920:39, 29 January 2018 CodeCurmudgeon talk contribs 8,955 bytes +32 software development box undo

curprev 22:3122:31, 27 January 2018 67.188.220.102 talk 8,923 bytes −237 Remove link to individual, out-of-place tool. (A list of all such tools would be larger than this page; a single such link is just spam here.) undo Tags: section blanking Visual edit

curprev 14:4114:41, 21 December 2017 212.247.96.201 talk 9,160 bytes −11 Removed word fluff (uneccessary use of "in general") undo

curprev 07:5707:57, 12 October 2017 134.102.222.64 talk 9,171 bytes +237 Added Spoon to "External Links". undo

curprev 21:2121:21, 26 June 2017 Matthiaspaul talk contribs 8,934 bytes +309 →Further reading: improved refs undo

5 August 2024

27 July 2024

16 March 2023

1 March 2023

1 February 2023

9 October 2022

6 August 2022

13 September 2021

8 April 2021

12 January 2021

18 February 2020

22 September 2019

27 August 2019

8 April 2019

16 February 2019

31 December 2018

19 November 2018

26 October 2018

31 August 2018

13 August 2018

9 May 2018

4 May 2018

10 April 2018

16 February 2018

29 January 2018

27 January 2018

21 December 2017

12 October 2017

26 June 2017

4 February 2017