Skip to content

GitLab

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

  • Open 208
  • Closed 1,261
  • All 1,469
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Known WP limitations on statement contract
    #2569 · created Aug 05, 2021 by Allan Blanchard   enhancement wp
    • 0
    updated Aug 06, 2021
  • Known WP limitations on the reads clause   0 of 2 tasks completed
    #2568 · created Aug 05, 2021 by Allan Blanchard   enhancement wp
    • 0
    updated Aug 05, 2021
  • Known WP limitations on `assigns` handling   0 of 2 tasks completed
    #2567 · created Aug 05, 2021 by Allan Blanchard   enhancement wp
    • 0
    updated Nov 23, 2021
  • [frama-clang] Cannot parse C++14 variable template
    #2562 · created Jun 08, 2021 by Stefan Gränitz   frama-clang
    • 0
    updated Jun 09, 2021
  • [Plug-in wp] 96-bits floats
    #2560 · created Jun 08, 2021 by arun-babu   feedback-needed kernel wp
    • 1
    updated Oct 06, 2021
  • Installation on Windows 10 WSL2 Debian?
    #2557 · created May 24, 2021 by NightlyHerb
    • 3
    updated May 28, 2021
  • Install and run Frama-C by OPAM with OCaml for Windows
    #2553 · created May 08, 2021 by weijian
    • 3
    updated May 12, 2021
  • Errors when trying to analyze programs including MSVC headers
    #2552 · created May 02, 2021 by marce9   feedback-needed
    • 5
    updated May 18, 2021
  • Undefined behavior in pointer arithmetic   3 of 3 tasks completed
    #2549 · created Apr 02, 2021 by Ricardo M. Correia
    • 2
    updated Nov 10, 2021
  • Problems with a simplest Arduino program, that contain only "Arduino.h" include.
    #2546 · created Feb 23, 2021 by varosi   frama-clang libc
    • 1
    updated Oct 06, 2021
  • Frama-C fails to parse a file
    #2459 · created Oct 01, 2009 by mantis-gitlab-migration   bug kernel
    • 2
    updated Feb 22, 2021
  • ghost integer ?
    #2428 · created Feb 01, 2010 by Sylvie Boldo   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • Better support of //@ style
    #2427 · created 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 · created Sep 30, 2010 by mantis-gitlab-migration   bug confirmed kernel
    • 4
    updated Feb 22, 2021
  • Empty specification causes syntax error
    #2324 · created Oct 13, 2010 by mantis-gitlab-migration   ACSL bug kernel
    • 1
    updated Feb 22, 2021
  • no multiple assert-clauses accepted in /*@...*/-style comment
    #2323 · created Oct 12, 2010 by Jochen Burghardt   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • Incorrect parsing of complex lemma
    #2268 · created 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 · created Jan 18, 2011 by Pascal Cuoq   bug kernel
    • 0
    updated Feb 22, 2021
  • Any number of ";" should be allowed in specifications
    #2240 · created Feb 10, 2011 by mantis-gitlab-migration   ACSL enhancement kernel
    • 0
    updated Feb 22, 2021
  • Command.command_generic may raise Sys_error
    #2237 · created Feb 21, 2011 by Julien Signoles   enhancement kernel
    • 0
    updated Feb 22, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • …
  • 11
  • Next