Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Issues
Open
3
Closed
46
All
49
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Label priority
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
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
