Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84; site ima.UUCP Path: utzoo!decvax!ima!johnl From: johnl@ima.UUCP (Compilers mailing list) Newsgroups: mod.compilers Subject: C Compiler Verification Suite Message-ID: <165@ima.UUCP> Date: Fri, 18-Jul-86 09:49:20 EDT Article-I.D.: ima.165 Posted: Fri Jul 18 09:49:20 1986 Date-Received: Fri, 18-Jul-86 18:38:27 EDT Reply-To: ihnp4!hplabs!frisbee!david (David Wooten) Lines: 21 Approved: We are developing a C compiler for a new machine and are in need of a commercial source of a verification suite for the compiler. I apologize if this is the tenth similar request this quarter but we haven't been on the network long enough to have seen the nine previous replies. David R. Wooten, AI Technologies Corp., 1041 Elkton Dr., Colorado Springs, CO 80907 hp-lsd!frisbee!david [There is a pretty good suite inside AT&T, but the last I heard they couldn't let it out. I know of some benchmark suites, but that's different from validation suites since the goal is to test completeness rather than performance. Suggestions are welcome. Is anybody thinking about validation tests for ANSI C ? -John] -- Send compilers mail to ima!compilers or, in a pinch to Levine@YALE.EDU Plausible paths are { ihnp4 | decvax | cbosgd | harvard | yale | bbncca}!ima Please send responses to the originator of the message -- I cannot forward mail accidentally sent back to compilers. Meta-mail to ima!compilers-request