SPARK (programming language): Revision history

31 July 2024

• curprev 05:0305:03, 31 July 2024 GreenC bot talk contribs 14,579 bytes −19 Move 1 url. Wayback Medic 2.5 per WP:URLREQ#ieee.org undo

7 May 2024

• curprev 15:1715:17, 7 May 2024 MaD70 talk contribs 14,598 bytes +325 →Further reading: Correcting title of "Building High Integrity Applications with SPARK" (no 2014 in it) and reformatted for better readability undo Tag: 2017 wikitext editor

31 January 2023

• curprev 04:1204:12, 31 January 2023 Citation bot talk contribs 14,273 bytes +21 Add: website. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2646/3850 undo

7 November 2022

• curprev 23:3723:37, 7 November 2022 The Anome talk contribs 14,252 bytes +16 →Security-related systems: +links undo Tag: Visual edit
• curprev 23:3523:35, 7 November 2022 The Anome talk contribs 14,236 bytes +74 →Safety-related systems: linking undo Tag: Visual edit
• curprev 23:3423:34, 7 November 2022 The Anome talk contribs 14,162 bytes +4 →Security-related systems: link name undo Tag: Visual edit
• curprev 23:3323:33, 7 November 2022 The Anome talk contribs 14,158 bytes +30 →Verification conditions: add names of solvers undo Tag: Visual edit
• curprev 23:3123:31, 7 November 2022 The Anome talk contribs 14,128 bytes +43 Importing Wikidata short description: "Programming language" undo Tag: Shortdesc helper

31 July 2022

• curprev 08:3508:35, 31 July 2022 81.174.170.107 talk 14,085 bytes +4 →History undo
• curprev 08:3408:34, 31 July 2022 81.174.170.107 talk 14,081 bytes +96 →History undo

22 July 2022

• curprev 00:3100:31, 22 July 2022 InternetArchiveBot talk contribs 13,985 bytes +140 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.8) (Ost316 - 10415 undo

6 June 2022

• curprev 20:2420:24, 6 June 2022 212.0.201.245 talk 13,845 bytes −48 →External links: Fix dead link undo

27 May 2022

• curprev 13:3013:30, 27 May 2022 AnomieBOT talk contribs m 13,893 bytes +14 Dating maintenance tags: {{Citation needed}} undo
• curprev 11:2911:29, 27 May 2022 2001:630:d0:5005:c5ea:ccc6:f86f:34ca talk 13,879 bytes +19 →Safety-related systems: Citation needed undo Tags: Mobile edit Mobile web edit

13 May 2022

• curprev 20:2220:22, 13 May 2022 2601:283:4a01:64f0::d18c talk 13,860 bytes +69 No edit summary undo

10 April 2022

• curprev 09:0009:00, 10 April 2022 BrownHairedGirl talk contribs m 13,791 bytes +41 add {{Use dmy dates}} undo Tag: AWB

15 February 2022

• curprev 12:4112:41, 15 February 2022 Peter Flass talk contribs 13,750 bytes −18 change link undo
• curprev 12:3612:36, 15 February 2022 Peter Flass talk contribs 13,768 bytes +49 →External links: add cat undo

22 October 2021

• curprev 11:4811:48, 22 October 2021 Citation bot talk contribs 13,719 bytes +186 Add: s2cid, date, title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_new_bare_URL_refs | #UCB_webform_linked 2150/2196 undo

14 October 2021

• curprev 14:3614:36, 14 October 2021 195.167.220.164 talk 13,533 bytes +62 Mark two external links as dead. undo

7 October 2021

• curprev 15:5615:56, 7 October 2021 194.61.223.68 talk 13,471 bytes +144 →External links: Categories undo

21 September 2021

• curprev 02:5502:55, 21 September 2021 WikiCleanerBot talk contribs m 13,327 bytes −1 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

16 September 2021

• curprev 09:5409:54, 16 September 2021 2a00:23c7:9383:7a00:74d4:94fa:5728:6fb5 talk 13,328 bytes +573 No edit summary undo

28 July 2021

• curprev 08:4208:42, 28 July 2021 81.201.155.53 talk 12,755 bytes +27 No edit summary undo

29 June 2021

• curprev 23:1223:12, 29 June 2021 Wootery talk contribs 12,728 bytes +5 →References: Rename section to 'Further reading' undo
• curprev 23:0923:09, 29 June 2021 Wootery talk contribs 12,723 bytes +7 →Notes: Rename section to 'References', as is standard for the section containing {{Reflist}} undo
• curprev 23:0823:08, 29 June 2021 Wootery talk contribs 12,716 bytes +347 →History: Explain the origins of the name 'SPARK' undo

10 June 2021

• curprev 21:1821:18, 10 June 2021 Dgpop talk contribs 12,369 bytes −37 →See also: Ada is linked in the lead. undo

31 March 2021

• curprev 15:5515:55, 31 March 2021 Tom.Reding talk contribs m 12,406 bytes +23 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

27 March 2021

• curprev 10:1610:16, 27 March 2021 185.17.14.5 talk 12,383 bytes −56 No edit summary undo Tags: Mobile edit Mobile web edit

21 February 2021

• curprev 10:5610:56, 21 February 2021 85.148.95.245 talk 12,439 bytes −49 Improvements on poorly worded sentences, still needs work undo

18 February 2021

• curprev 15:0715:07, 18 February 2021 Donald Ralokwae talk contribs 12,488 bytes −66 →See also undo Tags: Mobile edit Mobile web edit Advanced mobile edit

8 January 2021

• curprev 19:1819:18, 8 January 2021 85.148.95.245 talk 12,554 bytes −48 Improvements on poorly worded sentences, still needs work undo

1 November 2020

• curprev 04:0004:00, 1 November 2020 Meowphius talk contribs m 12,602 bytes +23 updated ieee link undo Tag: Visual edit: Switched

19 March 2020

• curprev 19:5719:57, 19 March 2020 Citation bot talk contribs m 12,579 bytes +11 Alter: author. Add: author-link. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

6 February 2020

• curprev 14:4014:40, 6 February 2020 106.51.25.174 talk 12,568 bytes −1 →History undo

28 November 2019

• curprev 16:4216:42, 28 November 2019 Mycall0 talk contribs m 12,569 bytes +30 Genode OS framework uses SPARK for block-device encryption. https://genode.org/documentation/release-notes/19.11#Preliminary_block-device_encrypter undo Tag: Visual edit

8 September 2019

• curprev 22:5822:58, 8 September 2019 Jarble talk contribs m 12,539 bytes +26 linking undo

14 June 2019

• curprev 22:5622:56, 14 June 2019 Bri talk contribs 12,513 bytes −28 no inline ELs undo

23 December 2018

• curprev 22:3822:38, 23 December 2018 Newslinger talk contribs m 12,541 bytes +16 Use Free and open-source software portal name (via WP:JWB) undo

29 August 2018

• curprev 16:0816:08, 29 August 2018 206.176.224.251 talk 12,525 bytes +24 Contract functions aren't necessarily a well know concept in this context, linkifying it both calls attention to the fact it's in contrast to a legal contract and is a useful tangent to explore undo

9 April 2018

• curprev 12:3012:30, 9 April 2018 Jkbw talk contribs 12,501 bytes 0 Undid revision 821951110 by 103.69.115.201 (talk) undo Tag: Undo

1 March 2018

• curprev 00:3300:33, 1 March 2018 Nyq talk contribs m 12,501 bytes +55 decapitalized common nouns, applied wikiformatting, added wikilinks undo Tag: Visual edit

23 January 2018

• curprev 15:3815:38, 23 January 2018 103.69.115.201 talk 12,446 bytes 0 No edit summary undo Tags: Mobile edit Mobile web edit

2 January 2018

• curprev 21:2221:22, 2 January 2018 Julianhyde talk contribs 12,446 bytes −23 Link directly to Apache Spark, rather than via redirect undo

26 December 2017

• curprev 16:2316:23, 26 December 2017 Nickpsecurity talk contribs 12,469 bytes +43 Adding to systems languages so people see one with formal verification. undo

11 December 2017

• curprev 13:2213:22, 11 December 2017 Frap talk contribs m 12,426 bytes 0 →Industrial applications undo

19 August 2017

• curprev 15:2315:23, 19 August 2017 Nameless23 talk contribs m 12,426 bytes +4 +Wikilink undo

7 August 2017

• curprev 17:1517:15, 7 August 2017 Onel5969 talk contribs m 12,422 bytes +7 Disambiguating links to Verification (link changed to Verification and validation) using DisamAssist. undo

25 July 2017

• curprev 00:4000:40, 25 July 2017 70.184.214.35 talk 12,415 bytes −1 alphabetized the categories undo