Issues · pub / frama-c · GitLab

Unable to right-click on MacOS to drive GUI

#64 · created Jun 03, 2020 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021
Porting to Lablgtk3 (GTK3 OCaml bindings)

#149 · created Feb 25, 2019 by mantis-gitlab-migration bug gui
- CLOSED
- 2
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
Make it build on bytecode architectures

#319 · created Aug 11, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 2
updated Feb 22, 2021
Message about internal error Log.AbortFatal("kernel")

#364 · created Mar 01, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 3
updated Feb 22, 2021
The disproportion between block sizes and caption sizes on a callgrath.

#379 · created Jan 17, 2017 by mantis-gitlab-migration enhancement 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
Frama-C GUI crashes under OS X

#623 · created Mar 31, 2015 by Jens Gerlach critical gui
- CLOSED
- 14
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
Bullet colors are unreadable for color blind people

#714 · created Sep 26, 2013 by David Mentré enhancement gui
- CLOSED
- 5
updated Feb 22, 2021
typo in gui message

#828 · created Jun 02, 2014 by Jochen Burghardt gui
- CLOSED
- 1
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
r11920: Analyses -> Show callgraph requires a main function

#1251 · created Feb 15, 2011 by Pascal Cuoq bug gui
- CLOSED
- 2
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
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
'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
"-cpp-command ..." parameter lost

#1534 · created Jan 18, 2010 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
Error when linking the viewer

#1601 · created Sep 10, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 1
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
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
Exception raised if dot not found

#1706 · created Jun 22, 2010 by Julien Signoles bug gui
- CLOSED
- 2
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
Selection of [loop variant] properties in GUI

#1757 · created Feb 16, 2011 by mantis-gitlab-migration bug gui
- CLOSED
- 3
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
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
wrong ELF class: ELFCLASS64

#1937 · created Nov 02, 2012 by mantis-gitlab-migration bug gui
- CLOSED
- 1
updated Feb 22, 2021
request for pretty printing only one property by lines

#1982 · created Nov 18, 2011 by Patrick Baudin bug gui
- CLOSED
- 2
updated Feb 22, 2021
Rename frama-c-gui.config

#2000 · created Feb 21, 2012 by mantis-gitlab-migration enhancement gui
- CLOSED
- 2
updated Feb 22, 2021
Look for "frama-c-gui.config" in HOME __before__ USERPROFILE

#2046 · created May 29, 2012 by mantis-gitlab-migration enhancement gui
- CLOSED
- 4
updated Feb 22, 2021
Unused global variable names not striked out in gui when assigns clause for external function is used

#2068 · created Feb 24, 2012 by Jochen Burghardt bug gui
- CLOSED
- 1
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
Highlighting of PVDecl encompasses first Cil-added statement

#2091 · created Dec 09, 2011 by Richard Bonichon bug gui
- CLOSED
- 5
updated Feb 22, 2021
Needs for some refresh of the property status into the source code

#2216 · created Apr 13, 2011 by Patrick Baudin bug gui
- CLOSED
- 1
updated Feb 22, 2021
The procedure entry point freeaddrinfo could not be located in the dynamic link library WS2_32.dll

#2221 · created Jul 08, 2010 by mantis-gitlab-migration critical gui
- CLOSED
- 2
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
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
Text on GUI buttons not readable on Windows (locale-dependant?)

#2266 · created Oct 06, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 3
updated Feb 22, 2021
Stoping external process (why)

#2281 · created Aug 23, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 2
updated Feb 22, 2021
newbie trying to make operable

#2337 · created Sep 23, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 3
updated Feb 22, 2021
Suggest to close a section if each obligation is proven by *some* prover

#2346 · created Oct 12, 2010 by Jochen Burghardt enhancement gui
- CLOSED
- 1
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
Incorrect linking order for the viewer

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

#2496 · created Jun 18, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 8
updated Feb 22, 2021
** (frama-c-gui:11256): CRITICAL **

#2586 · created Dec 05, 2021 by ankit247 gui
- CLOSED
- 3
updated Dec 14, 2021
Crash on Startup of frama-c-gui on WSL

#2587 · created Dec 14, 2021 by moemode gui
- CLOSED
- 6
updated Jan 18, 2022