Issues · pub / frama-c · GitLab

Wrong evaluation of expression in the GUI

#1747 · created Jan 11, 2011 by Julien Signoles bug gui
- CLOSED
- 2
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
Warning repetition in Messages window

#1607 · created Sep 10, 2009 by mantis-gitlab-migration 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
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
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
typo in gui message

#828 · created Jun 02, 2014 by Jochen Burghardt 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
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
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
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
Stoping external process (why)

#2281 · created Aug 23, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 2
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
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
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
r11920: Analyses -> Show callgraph requires a main function

#1251 · created Feb 15, 2011 by Pascal Cuoq bug gui
- CLOSED
- 2
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
Porting to Lablgtk3 (GTK3 OCaml bindings)

#149 · created Feb 25, 2019 by mantis-gitlab-migration bug gui
- CLOSED
- 2
updated Feb 22, 2021

Prev
1
2
3
Next