[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Packages removed from frozen

On Thu, Feb 10, 2000 at 12:49:16PM +1100, Tyson Dowd wrote:
> Many of these sytems can be compiled to an intermediate language (e.g.
> C) which could be inspected if you wanted to.  Then you just have to
> decide whether you trust the C compiler.
> Of course, I pity you greatly if you try to audit the code output by
> the Mercury compiler ;-)

Well, I really pity the person who is going to audit the GNAT assembly -
~20 MB of Ada source code producting a 3 MB binary means a whole lot
of assembly - and this assuming that we can somehow verify the gcc 2.8.1
part of the code simply. (Apply the patches to a pure 2.8.1 and diff 

David Starner - dstarner98@aasaa.ofe.org
Only a nerd would worry about wrong parentheses with
square brackets. But that's what mathematicians are.
   -- Dr. Burchard, math professor at OSU

Reply to: