Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Value analysis] Validating a function with behavior spec.



> Furthermore, I haven't asked privately or whatever, but on a public
> mailing list so that the answer may be archived and profitable to
> others in the future;

This argument would work better if it did not come from someone
who makes phone calls and sends private e-mail to developers
to ask questions about the Open Source software he has downloaded.

Feel free to unsubscribe the mailing list if the quality of answers does
not meet your expectations.

Pascal