daemon@ucbvax.UUCP (06/17/84)
From @SANDIA.ARPA:DOUG@JPL-VLSI.ARPA Sun Jun 17 10:04:07 1984
Does anyone know of a LINT available cheap/free? We recently got our
Unix source license (at long last), and we've moved LINT over.
We are currently using PASCAL as a base for an embedded language for
VLSI called ART. The symbol table ordering, declaration overhead, etc make it
very expensive to use PASCAL, on the order of 40 CPU seconds per compilation
added on. We even need a program to pre-process "human-readable" strings to
"Pascal-readable" strings by expanding them and space filling them. All in
all a great headache. All our other software is either in "C" with a spicing
of MACRO. We would like to unify the embedded language by going over to "C".
PASCAL does have good complete checking on data types for calls, and
all that, so we can't just change to "C" and assume everyone will always get
it right unless we have LINT. Most of our designers are non-programmer
hardware logic designer types who really NEED that kind of protection. Our
problem is delivery. We can use LINT internally now that we have a license,
but we need one that we can deliver (or point to) with our package to systems
without any sort of Un*x before we can change over to "C".
(-)NX in advance,
Doug
Snail Mail: Douglas J Freyburger Net: DOUG@JPL-VLSI
JPL 171-235 Phone: (818) 354-2173
Pasadena, CA 91109
------