Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
F
frama-c
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 202
    • Issues 202
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • Operations
    • Operations
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues

  • Open 202
  • Closed 1,206
  • All 1,408
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • Frama-c crash with Cil.SizeOfError sizeof(void)
    #2551 · opened Apr 20, 2021 by Karine EM   eva kernel
    • 1
    updated Apr 20, 2021
  • Frama-c crash with z.Overflow error
    #2550 · opened Apr 06, 2021 by Karine EM   kernel
    • 2
    updated Apr 06, 2021
  • Undefined behavior in pointer arithmetic   2 of 3 tasks completed
    #2549 · opened Apr 02, 2021 by Ricardo M. Correia
    • 2
    updated Apr 02, 2021
  • "Unknown Error" with Alt-Ergo   3 of 3 tasks completed
    #2547 · opened Mar 26, 2021 by Qix   wp
    • 10
    updated Mar 31, 2021
  • Problems with a simplest Arduino program, that contain only "Arduino.h" include.
    #2546 · opened Feb 23, 2021 by varosi   frama-clang libc
    • 1
    updated Mar 05, 2021
  • Frama-C fails to parse a file
    #2459 · opened Oct 01, 2009 by mantis-gitlab-migration   bug kernel
    • 2
    updated Feb 22, 2021
  • ghost integer ?
    #2428 · opened Feb 01, 2010 by Sylvie Boldo   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • Better support of //@ style
    #2427 · opened May 11, 2009 by mantis-gitlab-migration   ACSL enhancement kernel
    • 2
    updated Feb 22, 2021
  • Parse error when using a wide string literal to initialize uint16 array
    #2347 · opened Sep 30, 2010 by mantis-gitlab-migration   bug confirmed kernel
    • 4
    updated Feb 22, 2021
  • Empty specification causes syntax error
    #2324 · opened Oct 13, 2010 by mantis-gitlab-migration   ACSL bug kernel
    • 1
    updated Feb 22, 2021
  • no multiple assert-clauses accepted in /*@...*/-style comment
    #2323 · opened Oct 12, 2010 by Jochen Burghardt   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • Incorrect parsing of complex lemma
    #2268 · opened Dec 17, 2010 by mantis-gitlab-migration   ACSL bug kernel
    • 2
    updated Feb 22, 2021
  • Strange AST produced with unspecified side-effects involve function calls in expressions
    #2255 · opened Jan 18, 2011 by Pascal Cuoq   bug kernel
    • 0
    updated Feb 22, 2021
  • Any number of ";" should be allowed in specifications
    #2240 · opened Feb 10, 2011 by mantis-gitlab-migration   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • Command.command_generic may raise Sys_error
    #2237 · opened Feb 21, 2011 by Julien Signoles   enhancement kernel
    • 0
    updated Feb 22, 2021
  • Functional expression in assigns properties
    #2171 · opened Oct 06, 2011 by mantis-gitlab-migration   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • suggest to provide FILE,LINE references for proof obligations in WP cmd-line output
    #2098 · opened Nov 04, 2011 by Jochen Burghardt   enhancement wp
    • 0
    updated Feb 22, 2021
  • wrong proof obligation generated for loop initialization [under why-2.30]
    #2097 · opened Nov 03, 2011 by Jochen Burghardt   ACSL bug kernel
    • 4
    updated Feb 22, 2021
  • unbound function \length in annotation
    #2073 · opened Sep 19, 2011 by Mihaela Sighireanu   ACSL bug kernel
    • 2
    updated Feb 22, 2021
  • __builtin_alloca
    #2045 · opened Jun 08, 2012 by mantis-gitlab-migration   bug kernel
    • 1
    updated Feb 22, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 11
  • Next