QuickCheck: Revision history

20 August 2024

• curprev 15:5115:51, 20 August 2024‎ Axlrosen talk contribs‎ m 17,254 bytes −40‎ Unnecessary detail undo

26 April 2024

• curprev 01:4201:42, 26 April 2024‎ Axmx9 talk contribs‎ 17,294 bytes +190‎ Added reference to Scheme's SRFI 252 for property testing. It is the replacement for Scheme-check, which is also cited but no longer maintained. undo Tags: Mobile edit Mobile web edit

28 December 2023

• curprev 12:5112:51, 28 December 2023‎ AB-Babayo talk contribs‎ 17,104 bytes −59‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

19 November 2023

• curprev 22:3022:30, 19 November 2023‎ Caleb Stanford talk contribs‎ 17,163 bytes +26‎ →‎See also: + Metamorphic testing undo Tag: 2017 wikitext editor
• curprev 02:5902:59, 19 November 2023‎ Caleb Stanford talk contribs‎ 17,137 bytes −46‎ fix cite web quote= undo Tag: 2017 wikitext editor

12 November 2023

• curprev 19:5519:55, 12 November 2023‎ ElliAWB talk contribs‎ m 17,183 bytes +15‎ Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

21 September 2023

• curprev 10:0910:09, 21 September 2023‎ Jerryobject talk contribs‎ 17,168 bytes +37‎ →‎External links: WP:CATEGORY add. undo

19 September 2023

• curprev 07:4507:45, 19 September 2023‎ Jerryobject talk contribs‎ 17,131 bytes −68‎ WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs. Section move to proper place. WP:NAVBOX add. undo

20 August 2023

• curprev 20:5420:54, 20 August 2023‎ BattyBot talk contribs‎ 17,199 bytes −4‎ Fixed reference date error(s) (see CS1 errors: dates for details) and AWB general fixes undo Tag: AWB

18 June 2023

• curprev 21:5121:51, 18 June 2023‎ Citation bot talk contribs‎ 17,203 bytes +177‎ Alter: url. URLs might have been anonymized. Add: archive-date, archive-url, website, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Josve05a | Linked from User:Josve05a/cite/wayback | #UCB_webform_linked 425/1365 undo

23 May 2023

• curprev 14:4814:48, 23 May 2023‎ GeoffChurch talk contribs‎ m 17,026 bytes +43‎ Point dead link to archive.org snapshot undo Tag: 2017 wikitext editor

15 April 2023

• curprev 16:2116:21, 15 April 2023‎ 2607:fea8:5a4:1800:6d21:c59f:6608:42ad talk‎ 16,983 bytes −15‎ I replaced the R implementation of quickcheck with a newer package which is published to CRAN. undo

12 November 2022

• curprev 13:5213:52, 12 November 2022‎ Apolo234 talk contribs‎ m 16,998 bytes +17‎ Fixed some link formats undo

7 September 2022

• curprev 17:2517:25, 7 September 2022‎ Iffy talk contribs‎ m 16,981 bytes +19‎ Disambiguating links to Hug (disambiguation) (link changed to Hugs (interpreter)) using DisamAssist. undo

1 September 2022

• curprev 19:0219:02, 1 September 2022‎ Fwxc talk contribs‎ m 16,962 bytes −181‎ remove broken reference (404s) undo Tag: references removed
• curprev 19:0119:01, 1 September 2022‎ Fwxc talk contribs‎ m 17,143 bytes +10‎ Exchange ocaml-quickcheck with qcheck since the latter has more github stars and is actively maintained as opposed to stale since seven years undo

6 August 2022

• curprev 21:3821:38, 6 August 2022‎ 2a02:8070:8987:9620:d39:1a3d:5895:2954 talk‎ 17,133 bytes +97‎ Add external link to the QuickCheck package on Hackage undo
• curprev 21:3321:33, 6 August 2022‎ 2a02:8070:8987:9620:d39:1a3d:5895:2954 talk‎ 17,036 bytes +56‎ Add reference to GitHub repository undo
• curprev 21:2921:29, 6 August 2022‎ 2a02:8070:8987:9620:d39:1a3d:5895:2954 talk‎ 16,980 bytes +3‎ Update information re latest release undo
• curprev 21:2821:28, 6 August 2022‎ 2a02:8070:8987:9620:d39:1a3d:5895:2954 talk‎ 16,977 bytes +80‎ Refer to property testing in intro undo

1 August 2022

• curprev 16:1416:14, 1 August 2022‎ Teque5 talk contribs‎ m 16,897 bytes +18‎ updated article title undo
• curprev 16:1316:13, 1 August 2022‎ Teque5 talk contribs‎ m 16,879 bytes +36‎ updated python link to directly reference quickcheck undo

17 February 2022

• curprev 14:5314:53, 17 February 2022‎ 69.181.61.12 talk‎ 16,843 bytes +40‎ →‎See also Software_testing#Property_testing undo

11 July 2021

• curprev 03:1303:13, 11 July 2021‎ Pyotrjenkins talk contribs‎ 16,803 bytes +323‎ Added Mathematica hyperlink. undo Tag: Visual edit

13 March 2021

• curprev 06:3906:39, 13 March 2021‎ 95.82.221.24 talk‎ 16,480 bytes −107‎ Garbage language("tons"), unneded specificity(reverse example) in the general description section. Undid revision 1008531217 by 129.2.207.237 (talk) undo Tag: Undo

23 February 2021

• curprev 19:5219:52, 23 February 2021‎ 129.2.207.237 talk‎ 16,587 bytes +107‎ No edit summary undo Tag: Reverted

9 February 2021

• curprev 12:0412:04, 9 February 2021‎ 240d:1a:4b5:2800:f094:3af5:54fd:36f8 talk‎ 16,480 bytes −1‎ No edit summary undo

1 February 2021

• curprev 19:0019:00, 1 February 2021‎ AlexandreHamez talk contribs‎ 16,481 bytes +181‎ →‎Software: Add reference to Elixir implementation propcheck undo

13 October 2020

• curprev 15:5515:55, 13 October 2020‎ Tom.Reding talk contribs‎ m 16,300 bytes 0‎ Category:CS1 errors: deprecated parameters (last-author-amp=y/yes → name-list-style=amp; etc.) undo Tag: AWB

12 October 2020

• curprev 21:5521:55, 12 October 2020‎ 52.119.113.201 talk‎ 16,300 bytes −115‎ →‎Software: Remove Node.js package; if you go to it, and then you click on their "Homepage" link, the website is now run by scammers undo
• curprev 21:5421:54, 12 October 2020‎ 52.119.113.201 talk‎ 16,415 bytes +157‎ →‎Software: Add JSVerify to JavaScript property-based testing libraries undo

21 September 2020

• curprev 22:0222:02, 21 September 2020‎ Widefox talk contribs‎ 16,258 bytes +13‎ →‎top: sep lede, narrow undo
• curprev 18:0418:04, 21 September 2020‎ Widefox talk contribs‎ 16,245 bytes +48‎ Importing Wikidata short description: "Software testing software" (Shortdesc helper) undo

20 April 2020

• curprev 00:2800:28, 20 April 2020‎ Redjamjar talk contribs‎ m 16,197 bytes +212‎ Add link for tool "QuickCheck for Whiley" undo

26 February 2020

• curprev 16:5916:59, 26 February 2020‎ Pmoura talk contribs‎ m 15,985 bytes −33‎ Update link to Logtalk's lgtunit documentation undo

11 December 2019

• curprev 00:0400:04, 11 December 2019‎ Citation bot talk contribs‎ m 16,018 bytes 0‎ Alter: journal. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

2 October 2019

• curprev 19:1619:16, 2 October 2019‎ Monkbot talk contribs‎ m 16,018 bytes +9‎ →‎Further reading: Task 16: replaced (3×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

26 August 2019

• curprev 18:3218:32, 26 August 2019‎ Vzaliva talk contribs‎ 16,009 bytes +144‎ Added implementation in Coq (QickChick) undo Tag: 2017 wikitext editor

25 July 2019

• curprev 16:3716:37, 25 July 2019‎ Headbomb talk contribs‎ 15,865 bytes +10‎ ce undo
• curprev 16:2616:26, 25 July 2019‎ Citation bot talk contribs‎ m 15,855 bytes +109‎ Add: isbn, series, doi, pages, volume. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb undo

14 June 2019

• curprev 05:5505:55, 14 June 2019‎ JJMC89 talk contribs‎ m 15,746 bytes −28‎ Removing link(s): Wikipedia:Miscellany for deletion/Portal:Software testing (Xunlink) undo

8 May 2019

• curprev 11:3611:36, 8 May 2019‎ 147.96.111.174 talk‎ 15,774 bytes +32‎ Link to the correct (even if non-existent) Pony programming language wiki page undo
• curprev 11:3211:32, 8 May 2019‎ 147.96.111.174 talk‎ 15,742 bytes +182‎ Add reference for Erlang re-implementation. Not affiliated with the project, but it's the most popular quickcheck-like open-source library for Erlang. undo

5 May 2019

• curprev 21:4821:48, 5 May 2019‎ 46.225.206.180 talk‎ 15,560 bytes +44‎ + Category:Software using the BSD license undo

1 April 2019

• curprev 11:3511:35, 1 April 2019‎ Keith D talk contribs‎ m 15,516 bytes +10‎ expand month names undo
• curprev 11:3411:34, 1 April 2019‎ Keith D talk contribs‎ m 15,506 bytes +1‎ Add missing pipe undo
• curprev 09:1209:12, 1 April 2019‎ Jerryobject talk contribs‎ 15,505 bytes +212‎ Parameters: fill, correct, update, add, conform to masters: Template:Infobox software, WP:REFerence Template:Cite webs. WP:LINKs: updates, adds, fix WP:NOPIPEs. 1st instance full terms MOS:FIRSTABBRs define before WP:ABBReviations. Small WP:EoS WP:COPYEDITs: clarify, parallelism (grammar). undo

11 February 2019

• curprev 19:0219:02, 11 February 2019‎ Citation bot talk contribs‎ m 15,293 bytes +31‎ Alter: template type. Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. undo

26 December 2018

• curprev 15:5615:56, 26 December 2018‎ 82.48.5.144 talk‎ 15,262 bytes +154‎ Added ponycheck undo Tag: Visual edit

20 November 2018

• curprev 09:2109:21, 20 November 2018‎ Janiczek talk contribs‎ m 15,108 bytes +13‎ elm-check is long deprecated, elm-explorations/test is the current (and defacto official) QuickCheck-like library undo