[eros-arch] Static checking

[Valerio Bellizzomi]

>From your review in the paper I figured out that you will stick with MOPS.

What about Splint, have you abandoned it ?


val

On 02/03/2004, at 8.39, Jonathan S. Shapiro wrote:

>C89 is obsolete enough to be useless to us.
>
>shap
>
>On Tue, 2004-03-02 at 00:49, Valerio Bellizzomi wrote:
>> I just found this program
>> 
>> C-Breeze
>> http://www.cs.utexas.edu/users/c-breeze/
>> 
>> opinions ?
>> 
>> 
>> val
>> 
>> _______________________________________________
>> eros-arch mailing list
>> eros-arch@mail.eros-os.org
>> http://www.eros-os.org/mailman/listinfo/eros-arch
>
>_______________________________________________
>eros-arch mailing list
>eros-arch@mail.eros-os.org
>http://www.eros-os.org/mailman/listinfo/eros-arch