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