lclint-interest message 97
From aj@arthur.pfalz.de Sun Aug 25 21:26:30 1996
To: lclint-interest@larch.lcs.mit.edu
Subject: Re: subscribe lclint-interest mailing list
References: <9608242127.AA13512@larch.lcs.mit.edu>
Mime-Version: 1.0 (generated by tm-edit 7.68)
Content-Type: text/plain; charset=US-ASCII
From: Andreas Jaeger
In-Reply-To: evans@cs.virginia.edu's message of 25 Aug 1996 08:12:07 +0200
Lines: 27
X-Mailer: Gnus v5.2.39/Emacs 19.33
Date: 25 Aug 1996 08:44:36 +0200
>>>>> David Evans writes:
> Welcome to the lclint-interest mailing list.
> Please post a brief message introducing yourself and describing your
> professional interests. Feel free to also include any ideas you have
> for lclint development or comments on your experiences using lclint.
I'm studying computer science at the University of Kaiserslautern,
Germany and heard about LCLint in the German magazine iX. I'm involved
in a larger project (Theorem Prover) and like to evaluate our project
and also lclint.
I'm just starting with lclint and ran immediately into the bug with
the boolean enumeration type.
I hope to tell you more about my experience after I've gotten more
used to all the features of lclint.
Andreas
--
Andreas Jaeger aj@arthur.pfalz.de jaeger@informatik.uni-kl.de
Altenwoogstr. 31 67655 Kaiserslautern, Germany
Phone +49 631 3403051 Fax/Modem +49 631 3403052
http://www.student.uni-kl.de/~ajaeger/
David
Evans
University of Virginia, Computer Science
evans@cs.virginia.edu