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
209
Closed
1,268
All
1,477
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}}
Milestone due date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
declarations of static variable of class type in function body causes crash
#640
· created
Nov 27, 2014
by
Jochen Burghardt
confirmed
critical
frama-clang
1
updated
Mar 29, 2021
access to static struct fields unsupported in annotation
#638
· created
May 07, 2015
by
Jochen Burghardt
bug
frama-clang
0
updated
Feb 22, 2021
Redefintion of variables in same scope is allowed in annotations
#634
· created
Jun 01, 2015
by
mantis-gitlab-migration
ACSL
bug
confirmed
kernel
1
updated
Feb 22, 2021
Weak and Strong Invariants are not supported
#630
· created
Jun 12, 2015
by
mantis-gitlab-migration
ACSL
bug
kernel
0
updated
Feb 22, 2021
implicit conversion of terms to predicates
#611
· created
Jul 17, 2015
by
David Cok
ACSL
bug
kernel
0
updated
Feb 22, 2021
Control dependencies between labelled instructuctions and the corresponding goto statement
#609
· created
Nov 25, 2014
by
mantis-gitlab-migration
bug
pdg
1
updated
Feb 22, 2021
With struct containing arrays, option -unspecified-access is too strict
#602
· created
Aug 21, 2015
by
Pascal Cuoq
bug
kernel
0
updated
Apr 28, 2021
ACSL typing fails when performing unification of type variables
#590
· created
Sep 24, 2015
by
Patrick Baudin
ACSL
bug
kernel
0
updated
Mar 29, 2021
mixed virtual/nonvirtual base class causes error
#588
· created
Feb 09, 2015
by
Jochen Burghardt
confirmed
enhancement
frama-clang
4
updated
Feb 22, 2021
Nested VLA are not supported
#581
· created
Mar 25, 2014
by
Pascal Cuoq
enhancement
kernel
0
updated
Mar 29, 2021
No syntax to apply lambda expressions
#576
· created
Dec 05, 2015
by
David Cok
ACSL
enhancement
kernel
0
updated
Feb 22, 2021
ambiguity with consecutive comparison and ternary expressions
#575
· created
Dec 05, 2015
by
David Cok
ACSL
bug
kernel
1
updated
Feb 22, 2021
insertion of "assert true" after a statement influences provability of the statement's contract
#511
· created
May 02, 2016
by
Jochen Burghardt
bug
kernel
4
updated
Feb 22, 2021
Frama-C upgrade installation not foolproof
#510
· created
Apr 11, 2016
by
Jochen Burghardt
compilation
7
updated
Feb 22, 2021
typo in output of 'frama-c -wp-help'
#482
· created
Dec 09, 2015
by
Jens Gerlach
bug
documentation
1
updated
Feb 22, 2021
Namespace through packs - packing frama-c cmx into a cmxa
#429
· created
Sep 16, 2015
by
mantis-gitlab-migration
enhancement
kernel
2
updated
Feb 22, 2021
Compilation of kernel native cmx is messed up with plugin makefile
#428
· created
Sep 16, 2015
by
mantis-gitlab-migration
bug
compilation
1
updated
Feb 22, 2021
Path for 'make install-doc-code' for external plug-in
#427
· created
Sep 26, 2012
by
mantis-gitlab-migration
compilation
enhancement
6
updated
Feb 22, 2021
wp: the example from Getting Started guide doesn't work (all goals are Unknown)
#389
· created
Dec 14, 2016
by
mantis-gitlab-migration
enhancement
parsing
13
updated
Apr 15, 2021
label Pre in function contracts
#386
· created
Jan 02, 2017
by
Jens Gerlach
ACSL
bug
kernel
0
updated
Feb 22, 2021
Prev
1
…
3
4
5
6
7
8
9
10
11
Next