Compiler correctness: 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 10:1710:17, 10 November 2024 Edwinwrites talk contribs 9,757 bytes +4 No edit summary undo Tags: Visual edit Newcomer task Newcomer task: expand

curprev 17:4317:43, 5 January 2024 SimLibrarian talk contribs m 9,753 bytes +49 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 16:4316:43, 12 August 2023 OAbot talk contribs m 9,704 bytes +20 Open access bot: doi added to citation with #oabot. undo

curprev 12:4212:42, 6 August 2023 Citation bot talk contribs 9,684 bytes +4 Alter: title. Add: chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 374/2306 undo

curprev 17:4917:49, 21 July 2022 Citation bot talk contribs 9,680 bytes +29 Alter: title. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 1179/3672 undo

curprev 17:2417:24, 17 July 2022 BrownHairedGirl talk contribs 9,651 bytes −128 remove comment added by User:Ohconfucius's script, removed stub tag undo Tag: AWB

curprev 16:1116:11, 10 June 2022 Citation bot talk contribs 9,779 bytes +104 Add: arxiv, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 2230/3602 undo

curprev 06:0106:01, 12 April 2022 128.151.150.17 talk 9,675 bytes 0 →Translation validation: fix typo undo

curprev 22:2122:21, 14 January 2022 DerekXu16 talk contribs m 9,675 bytes +2 Added commas to set off a nonrestrictive clause. undo Tag: Visual edit

curprev 14:0114:01, 13 January 2021 Monkbot talk contribs m 9,673 bytes +9 Task 18 (cosmetic): eval 16 templates: hyphenate params (9×); undo Tag: AWB

curprev 16:1516:15, 14 October 2020 WikiCleanerBot talk contribs m 9,664 bytes −1 v2.03b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

curprev 12:3112:31, 3 August 2020 MrOllie talk contribs 9,665 bytes −459 →Testing: rm product list undo Tag: Visual edit

curprev 20:3520:35, 9 July 2020 Ohconfucius talk contribs m 10,124 bytes −29 Script-assisted fixes: per CS1 and MOS:ITALICS undo

curprev 08:4308:43, 1 July 2020 Vkuncak talk contribs 10,153 bytes +1,959 Expanded formal verification section somewhat undo

curprev 12:1312:13, 10 December 2019 93.117.236.147 talk 8,194 bytes +35 →Testing undo

curprev 00:1000:10, 17 September 2019 Monkbot talk contribs m 8,159 bytes −8 →Testing: Task 16: replaced (2×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 02:1602:16, 8 September 2019 InternetArchiveBot talk contribs 8,167 bytes +88 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 03:1303:13, 8 July 2019 InternetArchiveBot talk contribs 8,079 bytes +338 Rescuing 2 sources and tagging 0 as dead. #IABot (v2.0beta15) undo

curprev 01:2901:29, 16 February 2019 Stoneshadow10 talk contribs m 7,741 bytes +28 Added this to the compiler theory category undo

curprev 22:0722:07, 17 November 2018 Citation bot talk contribs m 7,713 bytes −102 Alter: pages, isbn, template type. Add: citeseerx. Removed parameters. Formatted dashes. You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 00:2900:29, 16 July 2018 24.63.2.147 talk 7,815 bytes −2 →Formal methods: Fixed typo. It said "a large a subset" which I corrected to "a large subset" undo Tags: Mobile edit Mobile web edit

curprev 12:3912:39, 16 May 2018 OAbot talk contribs m 7,817 bytes +16 Open access bot: add arxiv identifier to citation with #oabot. undo

curprev 14:4614:46, 5 May 2018 Accoun1 talk contribs m 7,801 bytes +4 →Formal methods undo

curprev 10:2210:22, 2 February 2018 Nat965 talk contribs 7,797 bytes −21 →Testing: Apply Gen fix(es), remove external link in reference. using AWB undo

curprev 13:1813:18, 3 August 2017 81.28.92.22 talk 7,818 bytes −26 No edit summary undo

curprev 21:3221:32, 21 July 2017 Cfbolz talk contribs 7,844 bytes +1,255 A sentence about fuzzing undo Tag: Visual edit
curprev 21:2321:23, 21 July 2017 Cfbolz talk contribs 6,589 bytes +397 be more precise about compcert undo Tag: Visual edit

curprev 20:0020:00, 20 March 2017 200.19.106.219 talk 6,192 bytes −4 No edit summary undo

curprev 17:4417:44, 26 January 2016 Rjwilmsi talk contribs m 6,196 bytes +29 Journal cites, completed 2 page ranges using AWB (11836) undo

curprev 09:3109:31, 25 January 2016 Rjwilmsi talk contribs m 6,167 bytes +30 →Testing: Journal cites, Added 1 doi to a journal cite using AWB (11822) undo

curprev 10:3410:34, 29 August 2015 Dexbot talk contribs m 6,137 bytes +527 Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 00:5600:56, 7 May 2014 Monkbot talk contribs m 5,610 bytes −9 →Testing: Task 3: Fix CS1 deprecated coauthor parameter errors undo

curprev 05:2105:21, 5 April 2014 66.87.82.190 talk 5,619 bytes +36 →See also undo

curprev 04:5104:51, 6 December 2013 150.203.159.68 talk 5,583 bytes +68 →See also: Added wikilink to compcert C compiler undo

curprev 21:2121:21, 29 May 2013 Morki talk contribs 5,515 bytes −1 →Testing undo

curprev 06:0006:00, 25 January 2013 Adavidb talk contribs m 5,516 bytes 0 period before cn template undo
curprev 05:5905:59, 25 January 2013 Adavidb talk contribs m 5,516 bytes +20 Disambiguate Theorem prover to Automated theorem prover using popups; formatting: heading-style, whitespace (using Advisor.js) undo

curprev 21:3321:33, 24 September 2012 Yobot talk contribs m 5,496 bytes −1 clean up, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8434) undo

curprev 10:5010:50, 18 March 2012 JamesHaigh talk contribs 5,497 bytes +37 →See also: Added link. undo
curprev 10:4910:49, 18 March 2012 JamesHaigh talk contribs m 5,460 bytes 0 →See also: Corrected case on v. undo

curprev 12:4512:45, 3 January 2012 Pgr94 talk contribs 5,460 bytes +10 →Formal methods: auto-completion for DOI refs undo
curprev 12:1912:19, 3 January 2012 88.134.175.48 talk 5,450 bytes +27 →Formal methods undo
curprev 12:1512:15, 3 January 2012 88.134.175.48 talk 5,423 bytes +1 →Formal methods undo
curprev 12:1412:14, 3 January 2012 88.134.175.48 talk 5,422 bytes +224 →Formal methods undo

curprev 05:4505:45, 14 September 2011 75.66.40.8 talk 5,198 bytes +4 →Formal methods undo

curprev 16:0616:06, 1 September 2011 Derek farn talk contribs 5,194 bytes −16 →Testing: Largest body are the Fortran & Cobol validation suites undo
curprev 16:0016:00, 1 September 2011 Derek farn talk contribs 5,210 bytes +90 →Formal methods: No proof of connection to C Standard undo

curprev 00:5900:59, 8 February 2011 Cydebot talk contribs m 5,120 bytes +6 Robot - Moving category Compiler theory to Compiler construction per CFD at Wikipedia:Categories for discussion/Log/2011 January 31. undo

curprev 21:4621:46, 15 January 2011 Unixtastic talk contribs 5,114 bytes −12 Improved text flow →Testing undo
curprev 21:4521:45, 15 January 2011 Unixtastic talk contribs 5,126 bytes +71 Updated with another compiler testing tool. Are there others too? I could not find them →Testing undo

10 November 2024

5 January 2024

12 August 2023

6 August 2023

21 July 2022

17 July 2022

10 June 2022

12 April 2022

14 January 2022

13 January 2021

14 October 2020

3 August 2020

9 July 2020

1 July 2020

10 December 2019

17 September 2019

8 September 2019

8 July 2019

16 February 2019

17 November 2018

16 July 2018

16 May 2018

5 May 2018

2 February 2018

3 August 2017

21 July 2017

20 March 2017

26 January 2016

25 January 2016

29 August 2015

7 May 2014

5 April 2014

6 December 2013

29 May 2013

25 January 2013

24 September 2012

18 March 2012

3 January 2012

14 September 2011

1 September 2011

8 February 2011

15 January 2011