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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Nasser M. Abbasi" Newsgroups: comp.lang.ada Subject: fyi, GNAT and SPARK GPL 2016 are out Date: Wed, 1 Jun 2016 08:33:56 -0500 Organization: Aioe.org NNTP Server Message-ID: Reply-To: nma@12000.org NNTP-Posting-Host: /KxmqbufJb6h5GcExNT2Aw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.0 X-Mozilla-News-Host: news://nntp.aioe.org:119 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:30537 Date: 2016-06-01T08:33:56-05:00 List-Id: fyi; got this email from Ada core today: ----------------------------------- Dear GNAT and SPARK GPL user, We are pleased to announce the availability of the GNAT and SPARK GPL 2016 toolsets. GNAT GPL 2016 incorporates upgraded technology for the debugger (GDB 7.10) along with support for the Windows 10 platform and many new features. Ada runtime support has been extended for the STM32f429-disco, STM32f469-disco and STM32F7-disco development boards based on the STM32 family of microcontrollers. * ravenscar sfp/full for the stm32f429-disco board * ravenscar sfp/full for the stm32f469-disco board * ravenscar sfp/full for the stm32f7-disco board SPARK GPL 2016 - the formal method verification toolset - includes the following new features: - Support for concurrency with Ravenscar and type predicates - Generation of counterexamples for unproved checks - Better support of bitwise (modular) operations in proof - Generation of global summary table You will find documentation about the GNAT GPL 2016 and SPARK GPL 2016 toolset here: http://libre.adacore.com/developers/documentation Both toolsets can be downloaded: * from the "Download" section on GNAT Tracker for GAP users http://www.adacore.com/academia * from libre site libre.adacore.com