Re: Ravenscar-compliant bounded buffer

[Markus E L <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>]

'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