Issues · pub / frama-c · GitLab

Crash on Startup of frama-c-gui on WSL

#2587 · created Dec 14, 2021 by moemode gui
- CLOSED
- 6
updated Jan 18, 2022
** (frama-c-gui:11256): CRITICAL **

#2586 · created Dec 05, 2021 by ankit247 gui
- CLOSED
- 3
updated Dec 14, 2021
Order of the functions in gui

#2496 · created Jun 18, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 8
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
How to update frama-c-gui

#2367 · created May 17, 2010 by mantis-gitlab-migration bug gui
- CLOSED
- 5
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
newbie trying to make operable

#2337 · created Sep 23, 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
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
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
Gui crash with a new global variable

#2245 · created Feb 01, 2011 by Victoria Moya Lamiel critical gui
- CLOSED
- 4
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
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
Highlighting of PVDecl encompasses first Cil-added statement

#2091 · created Dec 09, 2011 by Richard Bonichon bug gui
- CLOSED
- 5
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
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
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
Rename frama-c-gui.config

#2000 · created Feb 21, 2012 by mantis-gitlab-migration enhancement gui
- CLOSED
- 2
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
wrong ELF class: ELFCLASS64

#1937 · created Nov 02, 2012 by mantis-gitlab-migration bug gui
- CLOSED
- 1
updated Feb 22, 2021

Prev
1
2
3
Next