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
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
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
Command "Show callgraph" fails.

#312 · created Jan 12, 2017 by mantis-gitlab-migration bug 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
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
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
"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
wrong ELF class: ELFCLASS64

#1937 · created Nov 02, 2012 by mantis-gitlab-migration 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
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
Opening consolidation graph crashes when 'dot' is missing

#1437 · created Mar 19, 2012 by Julien Signoles 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
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

Prev
1
2
3
Next