QuickCheck: 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 01:2601:26, 24 September 2024 Jerryobject talk contribs 17,211 bytes −49 Needless infobox parameters cut. Important useful fact restored. WP:LINKs add. undo
curprev 00:3700:37, 24 September 2024 Jerryobject talk contribs m 17,260 bytes +6 →Software: Cut needless carriage return in section. WP:LINKs: adds, update-standardize. undo

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

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

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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

24 September 2024

20 August 2024

26 April 2024

28 December 2023

19 November 2023

12 November 2023

21 September 2023

19 September 2023

20 August 2023

18 June 2023

23 May 2023

15 April 2023

12 November 2022

7 September 2022

1 September 2022

6 August 2022

1 August 2022

17 February 2022

11 July 2021

13 March 2021

23 February 2021

9 February 2021

1 February 2021

13 October 2020

12 October 2020

21 September 2020

20 April 2020

26 February 2020

11 December 2019

2 October 2019

26 August 2019

25 July 2019

14 June 2019

8 May 2019

5 May 2019

1 April 2019

11 February 2019