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