---Original Message----- From: blunn@KEYCORP.COM.AU To: PICLIST@MITVMA.MIT.EDU Date: Wednesday, 6 August 1997 17:45 Subject: Re: Re[2]: C compiler >Bob Lunn >08/06/97 06:12 PM > > >> There are C-compilers available for PICmicros that are "bug-free". > > Hmm, even allowing for the quote marks this is a dangerous assertion. > > Proving the correctness of anything as complicated as a compiler is > a daunting undertaking. If any supplier of a Pic 'C' compiler is >prepared > to prove its correctness, I would be very interested in hearing it. That statement raised my eyebrows, too. Two additions. 1 - you don't need to qualify it with Pic C compiler. Any C compiler would be included in your statement. 2 - you can't prove such a thing. Disprove it, yes. Even validation suites can only disprove. MikeS