[net.lang.c] C compiler certification program?

powell@decwrl.UUCP (01/03/84)

From: powell (Mike Powell)
A couple of months ago, a Bell Labs person told me that there is a program
to validate C implementations, called cq, which Bell uses to decide whether
or not a compiler is really a C compiler.  Does anyone know about this program,
and, in particular, how to get a copy in order to check out our C compiler?
						Michael L. Powell
						Western Research Laboratory
						Digital Equipment Corporation
						Los Altos, CA
						{decvax,ucbvax}!decwrl!powell

jimjwf@mhtsa.UUCP (01/03/84)

Yes AT&T Bell Labs has a program called cq but it is not a
C compiler certification program. It does check many of the
rules found in K&R but is not complete and only checks that
valid things work as expected. This program is not generally
available but there are probably older copies of it to be
found here and there. If any of you have a copy it would be
unwise to use it for commercial advertising since it is AT&T
proprietary.

Jim Farrell
AT&T Bell Labs

rmc@cca.UUCP (Mark Chilenskas) (01/09/84)

    I had heard of another C certification program, started at MIT LCS.
The certifier generates all syntactically correct C programs in Godel
number order and terminates if the given C compiler is not correct ;-)

                                        v
                                        Z