Issues · pub / frama-c · GitLab

An erorr appears when executing right-click on the source-file name(left side of the screen).

#2249 · created Jun 14, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 8
updated Feb 22, 2021
Bullet colors are unreadable for color blind people

#714 · created Sep 26, 2013 by David Mentré enhancement gui
- CLOSED
- 5
updated Feb 22, 2021
Command "Show callgraph" fails.

#312 · created Jan 12, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021
"-cpp-command ..." parameter lost

#1534 · created Jan 18, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 1
updated Feb 22, 2021
Crash on Startup of frama-c-gui on WSL

#2587 · created Dec 14, 2021 by moemode gui
- CLOSED
- 6
updated Jan 18, 2022
Duplicates are created on the tab "Messages"

#318 · created Feb 03, 2017 by mantis-gitlab-migration enhancement gui
- 3
updated Feb 22, 2021
Error when linking the viewer

#1601 · created Sep 10, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 1
updated Feb 22, 2021
Exception raised if dot not found

#1706 · created Jun 22, 2010 by Julien Signoles bug gui
- CLOSED
- 2
updated Feb 22, 2021
Fatal error while browsing callgraph.

#380 · created Jan 13, 2017 by mantis-gitlab-migration critical gui
- CLOSED
- 1
updated Feb 22, 2021
Files of a project state not displayed on reload in GUI

#1600 · created Sep 11, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 1
updated Feb 22, 2021
** (frama-c-gui:11256): CRITICAL **

#2586 · created Dec 05, 2021 by ankit247 gui
- CLOSED
- 3
updated Dec 14, 2021
Frama-C GUI crashes under OS X

#623 · created Mar 31, 2015 by Jens Gerlach critical gui
- CLOSED
- 14
updated Feb 22, 2021
frama-c-gui hangs on start

#2090 · created Dec 09, 2011 by mantis-gitlab-migration bug gui
- CLOSED
- 2
updated Feb 22, 2021
'Go to definition' and 'Go to caller' do not update main view of GUI

#1531 · created Sep 14, 2009 by Virgile Prevosto bug gui
- CLOSED
- 1
updated Feb 22, 2021
Gui crash with a new global variable

#2245 · created Feb 01, 2011 by Victoria Moya Lamiel critical gui
- CLOSED
- 4
updated Feb 22, 2021
Gui unusable if value analysis degenerates

#916 · created Jan 24, 2011 by Boris Yakobowski bug gui
- CLOSED
- 1
updated Feb 22, 2021
Highlighting of PVDecl encompasses first Cil-added statement

#2091 · created Dec 09, 2011 by Richard Bonichon bug gui
- CLOSED
- 5
updated Feb 22, 2021
How to update frama-c-gui

#2367 · created May 17, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021
How to use the "Callers ..." context menu item

#290 · created May 27, 2013 by mantis-gitlab-migration confirmed enhancement gui
- 2
updated Feb 22, 2021
Incorrect linking order for the viewer

#2474 · created Sep 01, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021

Prev
1
2
3
Next