From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1196D80143 for ; Tue, 30 May 2017 15:45:00 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Pass smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=j4dS=5E=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org designates 129.104.30.34 as permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=j4dS=5E=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of SRS0=j4dS=5E=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=j4dS=5E=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=j4dS=5E=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=j4dS=5E=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AbCRZsxPoMjgqq0sferol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/r4rarrMEGX3/hxlliBBdydsKMazbeJ++C4ACpbsMnH6ChDOLV3FDY7yu?= =?us-ascii?q?wu3DYcSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMcbjI9jJ6oryhbEoGZDd+?= =?us-ascii?q?BKyW91P16ekRLx68Wq8JJ/7yhcvu8q+tJdX6n9Y6k3QrtUASg8PWwy+MPlqwTI?= =?us-ascii?q?QxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK576d2UxDokz?= =?us-ascii?q?sINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFHH4iy?= =?us-ascii?q?bZYAD/AZMOhWr4fzuUYAoxixCgawGezgxCRFhnDq0aAgyektDRvL0BImEtkTsH?= =?us-ascii?q?rUttL1NKIKXO6ozanIyDLDb/VL0jrj8ojIbwouofeSUrJrbMHczlIvFwLAjlWX?= =?us-ascii?q?r4zpJS+a1v4Qs2eB6epvS/mvh3Q5pw1tvjSixNwhiozGi4Ma0FzE8j95wIksKN?= =?us-ascii?q?C+VUV1b9mkEJ5KuCGbMYt7WswiQ2B0uCY6170JooS3fCkNyJg/yB7fauCHc4iV?= =?us-ascii?q?4h34TuqePTB4hHd9dLOxmRmy7FOgxfPkVsm7yFZGtCtFkt/CtnAK0RHY98uJSu?= =?us-ascii?q?Nl80u8xzqC0xrf5vxYLU07j6bWJYItzqQ+m5ccqUjPAy/7lFvsgKKVa0ko4PWk?= =?us-ascii?q?5/j9brjipZKRMZJ/hBvkPaQ0gMO/BPw1MggQUGif/uSxzLjj/ELkTLlQlv02la?= =?us-ascii?q?3ZsZDGJcsFuqG5AwlV0oc66xaiETiqytMYnWMILF5deRKHiZbmO03WLfzlE/uy?= =?us-ascii?q?h06gnCp3y/3JJLHsDInBImLNnbruZbp97lRTyAs3zdBR/ZJUDbQBLeruVEHtqd?= =?us-ascii?q?LUEgc0Mw67zun6FdtwzoMTV22XD6+cP67TvkWE5uU1I+mDfIIVozf9K/0i5/7o?= =?us-ascii?q?l3M2hUUdfbSz0psRdn+4Be5qL1uFbXbwgNoMCnwFvg0jTOzslFKNTyVTa2y3X6?= =?us-ascii?q?8z6TA3EoWmDZ3MRoy1mryOwD+7HoFKZmBBEl2DDW3nd4CAW/sVbCKSI9RhkiAf?= =?us-ascii?q?WLi6S44h0AmuuxXgx7pmKOrU4CwYuoj52Nh7/e2A3S01oBtfBsGZm3yWQntv1j?= =?us-ascii?q?cDTjoymaR+ulBVy1GZ0KE+jeYORvJJ4PYcaQY/MpiU5PZnAtb/QUqVZdaMT1Dg?= =?us-ascii?q?Sc+7CDc8VZRrm4dRS0MhC5OllB+VjHniOKMci7HeXM98yanbxXWkf8s=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CyAQDpdS1ZhyIeaIFcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAyBDY4KnzOILoIWJYhIPxgBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyKDfzQ?= =?us-ascii?q?FSYo9BQudF5Ixi2oPljsFgSwBAQGVSocgCAEBhyCLe4ITVYRnijMClE4fgUIwI?= =?us-ascii?q?TCBP4NCAQsBgkR0AYlSAQEB?= X-IPAS-Result: =?us-ascii?q?A0CyAQDpdS1ZhyIeaIFcHQEFAQsBGAEFAQsBhAyBDY4KnzO?= =?us-ascii?q?ILoIWJYhIPxgBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyKDfzQFSYo9BQudF5Ixi?= =?us-ascii?q?2oPljsFgSwBAQGVSocgCAEBhyCLe4ITVYRnijMClE4fgUIwITCBP4NCAQsBgkR?= =?us-ascii?q?0AYlSAQEB?= X-IronPort-AV: E=Sophos;i="5.38,418,1491256800"; d="asc'?scan'208";a="226763605" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 May 2017 15:44:59 +0200 Received: from nunchakus.loria.fr (nunchakus.loria.fr [152.81.10.98]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id F25C95646B4 for ; Tue, 30 May 2017 15:44:57 +0200 (CEST) Date: Tue, 30 May 2017 15:44:56 +0200 From: Simon Cruanes To: OCaml users Message-ID: <20170530134456.GY1297@nunchakus.loria.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="tEHm/81IqsjXUEYk" Content-Disposition: inline User-Agent: Mutt/1.8.2 (2017-04-18) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue May 30 15:44:58 2017 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=24BB15646B5 X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: [Caml-list] [ANN] qcheck 0.6 --tEHm/81IqsjXUEYk Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable I have the please to announce the release of QCheck 0.6. QCheck is a feature rich property testing library inspired from Haskell's QuickCheck. This new release contains several significant improvements, thanks to the help of Guillaume Bury and Jan Midtgaard. - better generation of functions, with proper printing and shrinking. - functions to leverage generators to produce values satisfying a predicate. - colorful runners. - better shrinkers and random generators. - gathering basic statistics and optionally displaying an histogram of samp= led values. QCheck is available on opam. Release URL: https://github.com/c-cube/qcheck/releases/tag/0.6 Documentation: https://c-cube.github.io/qcheck/0.6/ Cheers! --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --tEHm/81IqsjXUEYk Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEElJ/rh48GWcbX032NSsAdCEmqYrYFAlktd1gACgkQSsAdCEmq YrZwrQ/+KEdM8pGjChCxMCHeHmDliYFu40xsTUGdBnwa72rhHqzX91d2Ex+IFC0t 2HeYzG8z0wgZQEet1M/CHAG8JQAX4VE+LLfkijpF51vwUsg4XrsX3yeybSbbRGXR JQusZ4L4A2qANVp10MVotAx/ssqnxjmhaWktvIJ4bqeHu4l9lwYjQB8jrBks2EEb wbDD6gLgkCpRjWgs/vEhEHCI0Rd1U9pioxbPPlifo/+ziTsqjLmMLpHc55Qy87jQ Oy1e+hFzaoxIKVr8vkeH02Ms3JpIK6+tH8Ot0fA+4sme6x2Qj9rZLj9y8P5Qot5i kA1EcMa6M/RQKL3CaFGIb8c7RbW/Kmzr/FHJTdUMc/JOJGlPhS/HH95msH4bW94x 6ykF4f9YqUlLTE8053Dr8MfIaFYDWtzY+e3LYi+NLS54VArBQYokQrPaGdeUotV2 QYL8Ff/N0Y4+8y98Y0aLv5Q7mExccPS6ilzIU2fHGAQUc0zQ5yKXJuR/sf07Lr42 BXFUdSafMxnvyBppU28W/+jQibkM2b4/jyjSCqzqaROfwt6jCWr0b1dGcG5LkyAN cLZxSn9EYdveN+SFKtURNlEqxOekONhFviGOtkfDH1Dip7DFC7ycIXUat7+bnLp/ ChTWcR2Mq3ag93dsSwm8MvSP5g1ccej7FUtZjLg7RjspLly2rno= =FNmk -----END PGP SIGNATURE----- --tEHm/81IqsjXUEYk--