From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id oBVHe8aH012090 for ; Fri, 31 Dec 2010 18:40:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4BAD6kHU1bebk4kWdsb2JhbACkUgEBAQEJCwoHEQMhvxeFSgSFIQ X-IronPort-AV: E=Sophos;i="4.60,255,1291590000"; d="scan'208";a="83643463" Received: from 63.mail-out.ovh.net ([91.121.185.56]) by mail4-smtp-sop.national.inria.fr with SMTP; 31 Dec 2010 18:40:03 +0100 Received: (qmail 1392 invoked by uid 503); 31 Dec 2010 18:16:54 -0000 Received: from b6.ovh.net (HELO mail178.ha.ovh.net) (213.186.33.56) by 63.mail-out.ovh.net with SMTP; 31 Dec 2010 18:16:54 -0000 Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 31 Dec 2010 19:40:03 +0200 Received: from ip-22.net-82-216-3.versailles2.rev.numericable.fr (HELO ?192.168.0.10?) (forum%x9c.fr@82.216.3.22) by ns0.ovh.net with SMTP; 31 Dec 2010 19:40:00 +0200 From: "forum@x9c.fr" Content-Type: text/plain; charset=us-ascii Date: Fri, 31 Dec 2010 18:40:00 +0100 Message-Id: <177B7225-59F4-4454-B209-E44C66B055FD@x9c.fr> Cc: "forum@x9c.fr" To: caml-list users Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) X-Ovh-Tracer-Id: 1544734673136648992 X-Ovh-Remote: 82.216.3.22 (ip-22.net-82-216-3.versailles2.rev.numericable.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam-Check: DONE|U 0.5/N Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id oBVHe8aH012090 Subject: [Caml-list] [ANN] Mascot: 1.0-alpha release This post announces the 1.0-alpha release of the Mascot project. Mascot is a style-checker for Objective Caml sources, released under the GPL v3. Features: - customization of activated checks (and exceptions) by configuration files - code checks: overloading of builtin elements, useless constructs, deeply nested constructs, 'open' statements, magic numbers, complex conditions - documentation checks: presence of comments, and spellcheck - interface checks: empty interface, and number of exported elements - metrics checks: coupling, Halstead, and McCabe - miscellaneous checks: matching of regular expressions - typographic checks: spaces, tabulations, headers, and file/line lengths - support for CheckStyle, CSV, HTML, JDepend, bare text, and XML outputs - support for plugins (custom checks and outputs) Home page: http://mascot.x9c.fr Xavier Clerc