|Anonymous | Login | Signup for a new account||2019-02-22 02:19 CET|
|Main | My View | View Issues | Change Log | Roadmap | Repositories|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002393||Frama-C||Documentation > manuals||public||2018-08-09 10:34||2018-09-05 16:27|
|Status||closed||Resolution||no change required|
|Product Version||Frama-C 17-Chlorine|
|Target Version||Fixed in Version|
|Summary||0002393: Frama-C GUI manual|
|Description||Is there any detailed (stepwise) manual about GUI of Drama-C? |
May be I'm missing some points but Could we edit/write new files within GUI interface? GUI seems to be not very user friendly...
|Tags||No tags attached.|
Besides Chapter 9 in the Frama-C user manual (which describes a few parts of the GUI), there is no specific guide for the GUI.
In a blog post about using the Eva plug-in (http://blog.frama-c.com/index.php?post/2017/03/07/A-simple-EVA-tutorial [^]), I mentioned that:
> You should consider Frama-C/Eva as a command-line tool with a viewer (the GUI). The Frama-C GUI is not an IDE (e.g. you cannot edit code with it), and Eva does not use the GUI for anything else other than rendering its results.
Other plug-ins (such as WP) use the GUI much more effectively, but editing the code is still not possible.
Third-party plug-ins have been developed to integrate Frama-C into other IDEs, such as Eclipse, but for the most part they are not open source.
A new GUI architecture is under development and editing code may be possible in the future, but in Frama-C 17 (Chlorine), the GUI does not allow editing the source code.
Also note that a general "GUI manual" does not necessarily make sense, since each plug-in extends the GUI in a different manner, and uses its features in a specific way. So, at best you will find a plug-in guide incorporating some description of the GUI features it adds/uses.
For instance, the Eva user manual (http://frama-c.com/download/value-analysis-Chlorine-20180501.pdf [^]) incorporates one chapter dedicated to its use of the GUI. The WP manual (http://frama-c.com/download/wp-manual-Chlorine-20180501.pdf [^]) also has a section on some of its GUI features.
The GUI is constantly evolving and some features are not detailed in the manuals, so if there is a specific task that you would like to accomplish (other than editing the code), there may be something available to help you.
Ok...That makes sense.
Thank you for all the references.
|2018-08-09 10:34||NewUser||New Issue|
|2018-08-09 10:34||NewUser||Status||new => assigned|
|2018-08-09 10:34||NewUser||Assigned To||=> maroneze|
|2018-08-09 11:04||maroneze||Note Added: 0006630|
|2018-08-09 11:10||maroneze||Note Added: 0006631|
|2018-08-09 11:17||NewUser||Note Added: 0006632|
|2018-09-05 16:27||signoles||Status||assigned => closed|
|2018-09-05 16:27||signoles||Resolution||open => no change required|
|2018-09-05 16:27||signoles||Category||Graphical User Interface => Documentation > manuals|
|Copyright © 2000 - 2019 MantisBT Team|