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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.237.36.90 with SMTP id s26mr7185353qtc.2.1464872211173; Thu, 02 Jun 2016 05:56:51 -0700 (PDT) X-Received: by 10.157.4.36 with SMTP id 33mr4640otc.15.1464872211097; Thu, 02 Jun 2016 05:56:51 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!q32no2678511qgq.0!news-out.google.com!z5ni250qge.0!nntp.google.com!q32no2678508qgq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 2 Jun 2016 05:56:50 -0700 (PDT) In-Reply-To: <8cecb429-0623-4854-8bc9-bb2d9acae8df@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=93.37.251.103; posting-account=9fwclgkAAAD6oQ5usUYhee1l39geVY99 NNTP-Posting-Host: 93.37.251.103 References: <8cecb429-0623-4854-8bc9-bb2d9acae8df@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <365b1b12-7285-4ed6-9666-1ab25a3537b1@googlegroups.com> Subject: Re: fyi, GNAT and SPARK GPL 2016 are out From: mockturtle Injection-Date: Thu, 02 Jun 2016 12:56:51 +0000 Content-Type: text/plain; charset=UTF-8 X-Received-Bytes: 1347 X-Received-Body-CRC: 1057719368 Xref: news.eternal-september.org comp.lang.ada:30552 Date: 2016-06-02T05:56:50-07:00 List-Id: > I am curious. Does anyone use SPARK at their job or hobby? What's your experience like? Almost... in the sense that I am planning to play with it (I'm curious), but so far I did not do yet. Riccardo