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 E4EA97FCD9 for ; Mon, 15 Feb 2016 11:09:25 +0100 (CET) IronPort-PHdr: 9a23:N3NvbhHl4B7l0YlBs5oQYJ1GYnF86YWxBRYc798ds5kLTJ75pMSwAkXT6L1XgUPTWs2DsrQf27WQ7/mrATBIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbuotaLP01hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5Jf2MMkxFPSzTM9wr7FsP8tDH7ve07xCCBJszeTLYuWD3k4b09G0ygszsOKzNsqDKfscd3lq8O+B8= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=enrico.tassi@inria.fr; spf=None smtp.mailfrom=gares@fettunta.org; spf=None smtp.helo=postmaster@fettunta.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of enrico.tassi@inria.fr) identity=pra; client-ip=94.23.69.127; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gares@fettunta.org"; x-sender="enrico.tassi@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gares@fettunta.org) identity=mailfrom; client-ip=94.23.69.127; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gares@fettunta.org"; x-sender="gares@fettunta.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@fettunta.org) identity=helo; client-ip=94.23.69.127; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gares@fettunta.org"; x-sender="postmaster@fettunta.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A0BwDdosFW/39FF15egzqBMLJQOJBPPBABAQEBAQEBAYEJgi2CFQEFMgFWCxgJJQ8FKA0BiEAEvGeGEYQ1hH6CX4EPBZZ5gTuMEY59jj43K4E2AQttgTWJYQEBAQ X-IPAS-Result: A0A0BwDdosFW/39FF15egzqBMLJQOJBPPBABAQEBAQEBAYEJgi2CFQEFMgFWCxgJJQ8FKA0BiEAEvGeGEYQ1hH6CX4EPBZZ5gTuMEY59jj43K4E2AQttgTWJYQEBAQ X-IronPort-AV: E=Sophos;i="5.22,449,1449529200"; d="scan'208";a="164746608" Received: from fettunta.org ([94.23.69.127]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Feb 2016 11:09:25 +0100 Received: from gargamel.invalid (gargamel.inria.fr [138.96.200.56]) by fettunta.org (Postfix) with ESMTPSA id A9230C4B6 for ; Mon, 15 Feb 2016 11:09:24 +0100 (CET) Received: from gares by gargamel.invalid with local (Exim 4.84) (envelope-from ) id 1aVG5s-0005Xm-Fr for caml-list@inria.fr; Mon, 15 Feb 2016 11:09:24 +0100 Date: Mon, 15 Feb 2016 11:09:24 +0100 From: Enrico Tassi To: caml-list@inria.fr Message-ID: <20160215100924.GA21143@gargamel> References: <56C1A17D.9020902@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <56C1A17D.9020902@inria.fr> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] Decrease in addressable memory on Windows 32-bits between 3.12 and 4.01? On Mon, Feb 15, 2016 at 10:59:25AM +0100, Pierre-Marie Pédrot wrote: > > Coq 8.5 is compiled with 4.01 on windows. Coq 8.4 was compiled with > > 3.12 IIRC. > > so I am led to think that this has to do with OCaml runtime, as I can't > really see where this would come from the Coq codebase. One bit of info that may be relevant. Coq 8.5 sets different Gc parameters, in particular a larger minor heap size. My2C -- Enrico Tassi