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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c014a790d3834e5f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed01.chello.at!newsfeed02.chello.at!news.hispeed.ch.POSTED!not-for-mail Message-ID: <4372580.hHLLdqAMb3@linux1.krischik.com> From: Martin Krischik Subject: Re: gps vs gnat pro Newsgroups: comp.lang.ada Date: Fri, 28 Apr 2006 18:27:53 +0200 References: <1146217139.523326.63590@e56g2000cwe.googlegroups.com> User-Agent: KNode/0.10.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@hispeed.ch Organization: hispeed.ch NNTP-Posting-Host: 80.218.119.160 (80.218.119.160) NNTP-Posting-Date: Fri, 28 Apr 2006 19:00:02 +0200 X-Trace: 6e00844524a12f57fd20519759 Xref: g2news2.google.com comp.lang.ada:3988 Date: 2006-04-28T18:27:53+02:00 List-Id: Ananth the Boss wrote: > gps and adagide is available for free distribution. gnat pro having > same features (infact some more additional features)is available for > purchase.will the gps have library that will not be the latest since it > is available for free. can we use gps for safety critical software dev > or gnat pro purchase is required. can any body suggest where will gps > fail or the point where gps will not be suitable. You misread! It's: GNAT vs GNAT/Pro GPS vs GPS/Pro ASIS vs ASIS/Pro etc. pp. The Pro versions are supported by AdaCore. As for the difference: All professional questions I send to AdaCore using my employers Pro account got answered the same day. Questions and Bugreports I for my private home projects did not get the same level of attention from AdaCore - to put it nicely. If human live are at stake from the software you are planning to develop then you should get an GNAT/Pro account. Martin -- mailto://krischik@users.sourceforge.net Ada programming at: http://ada.krischik.com