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,d495ab2e69ad1962 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: Ravenscar-compliant bounded buffer References: <1188914005.607732.277400@57g2000hsv.googlegroups.com> <1189194299.326741.151840@50g2000hsm.googlegroups.com> <46e28a6a$0$27847$39db0f71@news.song.fi> <46e3ccfd$1_4@news.bluewin.ch> From: Markus E L Date: Sun, 09 Sep 2007 15:19:35 +0200 Message-ID: User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:561+NR9dB5TkLzGf+6AgV5AWsms= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.74.50.142 X-Trace: news.arcor-ip.de 1189343708 88.74.50.142 (9 Sep 2007 15:15:08 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news2.google.com!news1.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!news.tele.dk!feed118.news.tele.dk!news.tele.dk!small.news.tele.dk!news-fra1.dfn.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news2.google.com comp.lang.ada:1834 Date: 2007-09-09T15:19:35+02:00 List-Id: 'anon AT anon DOT org (anon)' wrote: > Showing your TROLLISM! > > If you check GNU GNAT 4.3 it contains > Ada.Numerics.Aux -- for Vxworks which link into GCC C libraies. > Ada.Numerics.Aux -- for darwin also links to thier GCC C library. > All Ada.Numerics.Aux use the C code. > > > GET OVER IT! YOU CAN NEVER PROVE THAT GNAT DOES NOT > INCLUDE LINK INTO THE GCC C LIBRARIES! AND THESE > LIBRARY ROUTINES ARE LINKED INTO YOU CODE IF YOU > NEED THOSE ROUTINES! > > > AND AS FOR YOUR OTHER POST NO PROVE EITHER! MINE PAPERS AT > ACM. Your caps key got stuck. Just in case you didn't notice. Regarding proof: Just claiming "my papers are ACM" is a bit thin. I suggest you back up your claims by putting proper references and quotes on the table as behoves in a debate between historian. Until then everything _you_ say are unfounded claims -- and if they are far enough away from what has been accepted lore so far and accompanied by some clearly or at least very probably wrong claims, nobody will ever bother to check the less easy to decide claims -- because one has to cull the decision tree at some point and given the circumstances a low propability has been assigned to a success of the strategy to look for new and revolutionary insights in your claims. - M