From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,837597328186cdcb X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.223.40 with SMTP id qr8mr16385312pbc.0.1341670870856; Sat, 07 Jul 2012 07:21:10 -0700 (PDT) Path: l9ni11068pbj.0!nntp.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!newsfe19.iad.POSTED!00000000!not-for-mail From: Brad Moore User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:13.0) Gecko/20120614 Thunderbird/13.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ANN: Deepend 3.1 available for Ada 2005 and Ada 2012 References: In-Reply-To: Message-ID: NNTP-Posting-Host: 68.145.219.148 X-Complaints-To: internet.abuse@sjrb.ca X-Trace: newsfe19.iad 1341670870 68.145.219.148 (Sat, 07 Jul 2012 14:21:10 UTC) NNTP-Posting-Date: Sat, 07 Jul 2012 14:21:10 UTC Date: Sat, 07 Jul 2012 08:21:10 -0600 X-Received-Bytes: 2098 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-07-07T08:21:10-06:00 List-Id: On 06/07/2012 8:27 PM, Brad Moore wrote: > Major differences in this release: > > - Can now deallocate the default subpool, then continue to allocate > objects from the default subpool. > - Took advantage of new Ada 2012 features including; > o New Iterator syntax for containers > o Expression Functions > o Conditional expressions > o Invariants > o Pre and Post conditions > o static subtype predicates > - Corrected build documentation for ICC Ada 2005 compiler > - Test drivers improved with more comprehensive tests > - Tree benchmark tests more specialized between Ada 2012 vs Ada 2005 > - Restructured compiler output folders There is one other difference I forgot to mention. In the previous version, there were compile time warnings I had added, that stated that GNAT currently routes all allocations to the default subpool, even if a specific subpool had been specified for the allocator. eg foo_access := new (my_subpool) foo_type; Those warnings were incorrect. If a subpool is specified for an allocator then the allocation does come from the specified subpool. So I removed the compile time warning in the current 3.1 release. GNAT works correctly for this case. Brad