MALPAS Software Static Analysis Toolset: 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 11:5311:53, 16 July 2023 Onel5969 talk contribs m 7,978 bytes 0 →Technical Overview: clean up, typo(s) fixed: ically- → ically undo Tag: AWB

curprev 00:4400:44, 9 June 2023 Ykhwong talk contribs m 7,978 bytes −1 No edit summary undo

curprev 10:5210:52, 4 January 2023 JohnGDrever talk contribs 7,979 bytes +1 No edit summary undo

curprev 11:0811:08, 15 December 2022 JohnGDrever talk contribs 7,978 bytes +273 Update for HPC undo

curprev 13:1013:10, 29 August 2022 Horsesizedduck talk contribs 7,705 bytes −14 Adjusted a ref undo
curprev 13:0113:01, 29 August 2022 Citation bot talk contribs 7,719 bytes +113 Alter: url. URLs might have been anonymized. Add: archive-date, archive-url. | Use this bot. Report bugs. | Suggested by Horsesizedduck | #UCB_webform undo
curprev 12:5812:58, 29 August 2022 Horsesizedduck talk contribs m 7,606 bytes +24 Fixing a reference error undo
curprev 12:0812:08, 29 August 2022 Citation bot talk contribs 7,582 bytes −192 Removed parameters. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 15:5315:53, 7 January 2022 Pinedli talk contribs 7,774 bytes +90 Importing Wikidata short description: "Software static analysis tool used for safety critical applications" (Shortdesc helper) undo

curprev 14:2014:20, 12 April 2021 Gronk Oz talk contribs m 7,684 bytes −21 Clean up, typo(s) fixed: 1980's → 1980s undo Tag: AWB

curprev 17:4417:44, 19 December 2020 Malanoqa talk contribs 7,705 bytes −34 Remove note that link is broken from 09.16.2020 after checking that the link is now working. undo

curprev 16:0016:00, 16 September 2020 Murrena talk contribs m 7,739 bytes +63 site doesn't work as of 09.16.20 undo Tag: Visual edit

curprev 15:2815:28, 27 March 2020 148.64.28.77 talk 7,676 bytes +169 →History undo

curprev 02:3802:38, 2 October 2019 Monkbot talk contribs m 7,507 bytes −3 Task 16: replaced (3×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 19:0919:09, 28 May 2017 InternetArchiveBot talk contribs 7,510 bytes +676 Rescuing 3 sources and tagging 0 as dead. #IABot (v1.3.2.4) undo

curprev 15:3415:34, 17 March 2017 82.13.199.42 talk 6,834 bytes −14 Updated link to directed graphs. undo Tag: Visual edit

curprev 08:5108:51, 10 August 2016 Sam-m888 talk contribs 6,848 bytes 0 No edit summary undo

curprev 20:3120:31, 31 January 2016 BD2412 talk contribs m 6,848 bytes +9 Fixing links to disambiguation pages, replaced: Graph (mathematics) → Graph (discrete mathematics) using AWB undo

curprev 20:1120:11, 26 December 2014 Rutlandbaconsouthamptonshakespeare talk contribs m 6,839 bytes −13 removed redundant section heading undo

curprev 09:1309:13, 12 April 2013 193.117.31.2 talk 6,757 bytes −150 No edit summary undo

curprev 19:2019:20, 7 March 2013 Yobot talk contribs m 6,907 bytes 0 →Technical Overview: WP:CHECKWIKI errors fixed + general fixes using AWB (8961) undo

curprev 16:2016:20, 11 December 2012 Yobot talk contribs m 6,907 bytes −2 →History: clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (8797) undo

curprev 21:0721:07, 15 October 2012 Markywo talk contribs m 6,909 bytes −26 →History undo
curprev 21:0521:05, 15 October 2012 Markywo talk contribs m 6,935 bytes +379 →History undo

curprev 21:3021:30, 8 August 2012 Sun Creator talk contribs 6,556 bytes +2 →Technical Overview: Typo fixing and checking, typos fixed: ie → i.e. using AWB undo

curprev 20:3620:36, 26 November 2011 Bazonka talk contribs 6,554 bytes +19 →MALPAS: dab link, and amend spelling per WP:ENGVAR undo

curprev 17:4117:41, 11 September 2011 Yobot talk contribs m 6,535 bytes −3 WP:CHECKWIKI error 18 fixes + general fixes (BRFA 15) using AWB (7832) undo

curprev 14:4314:43, 7 September 2011 JohnGDrever talk contribs m 6,538 bytes +126 No edit summary undo

curprev 18:3318:33, 22 August 2011 JohnGDrever talk contribs 6,412 bytes +39 →Technical Overview undo

curprev 15:2415:24, 23 May 2011 Wasbeer talk contribs 6,373 bytes 0 No edit summary undo

curprev 11:1511:15, 20 May 2011 JohnGDrever talk contribs 6,373 bytes −18 No edit summary undo

curprev 11:1411:14, 3 May 2011 SoxBot talk contribs m 6,391 bytes −35 Removing categorization template undo

curprev 14:2214:22, 1 April 2011 JohnGDrever talk contribs 6,426 bytes +120 No edit summary undo
curprev 14:1914:19, 1 April 2011 JohnGDrever talk contribs 6,306 bytes −35 No edit summary undo
curprev 14:1514:15, 1 April 2011 JohnGDrever talk contribs 6,341 bytes +106 No edit summary undo

curprev 23:3123:31, 23 March 2011 Racklever talk contribs 6,235 bytes +7 Clean-up, added uncategorised tag using AWB undo

curprev 15:5715:57, 18 March 2011 JohnGDrever talk contribs 6,228 bytes +6,228 ←Created page with '{{Infobox software | developer = Atkins | operating system = Windows | genre = [[Static prog...'

16 July 2023

9 June 2023

4 January 2023

15 December 2022

29 August 2022

7 January 2022

12 April 2021

19 December 2020

16 September 2020

27 March 2020

2 October 2019

28 May 2017

17 March 2017

10 August 2016

31 January 2016

26 December 2014

24 April 2014

12 April 2013

7 March 2013

11 December 2012

15 October 2012

8 August 2012

26 November 2011

11 September 2011

7 September 2011

22 August 2011

23 May 2011

20 May 2011

3 May 2011

1 April 2011

23 March 2011

18 March 2011