Issues · pub / frama-c · GitLab

Project menu is empty when Ubuntu/Unity is enabled

#1918 · created May 25, 2012 by Benjamin Monate bug gui
- CLOSED
- 10
updated Feb 22, 2021
"src/project/project.ml", line 678 Assertion failed

#1836 · created Jul 29, 2013 by mantis-gitlab-migration critical gui
- CLOSED
- 1
updated Feb 22, 2021
Selection of [loop variant] properties in GUI

#1757 · created Feb 16, 2011 by mantis-gitlab-migration bug gui
- CLOSED
- 3
updated Feb 22, 2021
Wrong evaluation of expression in the GUI

#1747 · created Jan 11, 2011 by Julien Signoles bug gui
- CLOSED
- 2
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
In the GUI, it is impossible to talk about variables generated by Value's -lib-entry

#1677 · created May 05, 2010 by Pascal Cuoq bug gui
- CLOSED
- 7
updated Feb 22, 2021
Warning repetition in Messages window

#1607 · created Sep 10, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 1
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
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
"-cpp-command ..." parameter lost

#1534 · created Jan 18, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 1
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
value analysis warning disappears from 'Messages' window in gui after 'Reparse' button clicked

#1451 · created Feb 24, 2012 by Jochen Burghardt bug gui
- CLOSED
- 3
updated Feb 22, 2021
Opening consolidation graph crashes when 'dot' is missing

#1437 · created Mar 19, 2012 by Julien Signoles bug gui
- CLOSED
- 2
updated Feb 22, 2021
r11920: Analyses -> Show callgraph requires a main function

#1251 · created Feb 15, 2011 by Pascal Cuoq bug gui
- CLOSED
- 2
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
typo in gui message

#828 · created Jun 02, 2014 by Jochen Burghardt gui
- CLOSED
- 1
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
Segmentation fault when launching frama-c-gui with OCaml 4.02.0

#699 · created Sep 03, 2014 by mantis-gitlab-migration critical gui
- CLOSED
- 5
updated Feb 22, 2021
Frama-C GUI crashes under OS X

#623 · created Mar 31, 2015 by Jens Gerlach critical gui
- CLOSED
- 14
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

Prev
1
2
3
Next