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] Journal File

Hello Gaurav,

Le 04/06/2015 14:39, Gaurav Tripathi a écrit :
> How do I open Journal file ?
> What are the contents in it ?

Look at Frama-C User manual, it is written in it. I won't tell you the 
relevant section, you need to find it by yourself.

Frama-C has a lot of documentation, with nice table of content and 
index. You'd rather read them (or at least skim through them) before 
asking questions.

Best regards,
david