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 A861D7EC6E for ; Sat, 21 Dec 2013 21:01:43 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lukstafi@gmail.com) identity=pra; client-ip=74.125.82.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of lukstafi@gmail.com designates 74.125.82.172 as permitted sender) identity=mailfrom; client-ip=74.125.82.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f172.google.com) identity=helo; client-ip=74.125.82.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="postmaster@mail-we0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcDALnytVJKfVKslGdsb2JhbABYgkd8VYMBtW5PgQsIFg4BAQEBBwsUEiqCTx0BGx4DEgkHNwIkAREBBQEiiAIBAxENogWDBowJU4MJjkcKGScNZIVuEQEBBAyCUIxFgjkPMYFIBJgXkCcYKYRaOw X-IPAS-Result: AmcDALnytVJKfVKslGdsb2JhbABYgkd8VYMBtW5PgQsIFg4BAQEBBwsUEiqCTx0BGx4DEgkHNwIkAREBBQEiiAIBAxENogWDBowJU4MJjkcKGScNZIVuEQEBBAyCUIxFgjkPMYFIBJgXkCcYKYRaOw X-IronPort-AV: E=Sophos;i="4.95,528,1384297200"; d="scan'208";a="41976986" Received: from mail-we0-f172.google.com ([74.125.82.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Dec 2013 21:01:43 +0100 Received: by mail-we0-f172.google.com with SMTP id p61so3759060wes.17 for ; Sat, 21 Dec 2013 12:01:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=gDCLlDxak/CBG7wan00HhFoQpFOlWpdIpv9b1k3hzAs=; b=gHnZ3RylSwK0Z/pxBtykwDNbOqK4C0uIPMyDPcEVi9Qmj7yv55uwvbtXjxV7OOSB6w OC+2WEUH6JFIDan5R2X72wfyHUDDrSSDooS+cyUmwcRj+JhjVjtmjCgrMpE/7doRyBWH hhQKtl78q/XmSi4NPuxmJaMHFi6GV9kvzAKETrN0EA8RrueLC4lv5wOTLiJGYDPG3EyI 36VXO0RYSkDs1B9KlBAymfVmC5B6DUGGbb6UTdaKzT2HYXRwzKjGluQNEaGQx5Vn7JTo 0t6EXh2AI0Jw8Bblcb4KVQhZMIuPDTWhLBrJkdkf6xLRI27xBCZLngbATeCDFtiEu/C/ dA3g== X-Received: by 10.180.108.132 with SMTP id hk4mr12825164wib.12.1387656102761; Sat, 21 Dec 2013 12:01:42 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.36.201 with HTTP; Sat, 21 Dec 2013 12:01:22 -0800 (PST) From: Lukasz Stafiniak Date: Sat, 21 Dec 2013 21:01:22 +0100 Message-ID: To: Caml Content-Type: multipart/alternative; boundary=e89a8f3baad5135ad004ee10dd7a Subject: [Caml-list] [ANN] InvarGenT v1.1: GADTs for invariants and postconditions --e89a8f3baad5135ad004ee10dd7a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I am pleased to release the version 1.1 of InvarGenT, a system that infers invariants and postconditions, and exports the corresponding GADTs-based OCaml code. https://github.com/lukstafi/invargent/releases InvarGenT is based on _Vincent Simonet and Fran=C3=A7ois Pottier "A constraint-based approach to guarded algebraic data types"_ only without subtyping and without type/invariant annotations. Version 1.1 brings better OCaml exporting, better documentation and several bug fixes. Best Regards, =C5=81ukasz Stafiniak --e89a8f3baad5135ad004ee10dd7a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I am pleased to release the v= ersion 1.1 of InvarGenT, a system that infers invariants and postconditions= , and exports the corresponding GADTs-based OCaml code.

https://github.com/lukstafi/invarge= nt/releases

InvarGenT is based = on _Vincent Simonet and Fran=C3=A7ois Pottier "A constraint-based appr= oach to guarded algebraic data types"_ only without subtyping and with= out type/invariant annotations.

Version 1.1 brings = better OCaml exporting, better documentation and several bug fixes.<= br>

Best Regards,
=C5=81ukasz Stafiniak
--e89a8f3baad5135ad004ee10dd7a--