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 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • 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 209
  • Closed 1,269
  • All 1,478
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • number of generated files in Frama-C 18 vs 19. beta(2)
    #151 · created Jun 14, 2019 by Jens Gerlach   bug wp
    • CLOSED
    • 7
    updated Feb 22, 2021
  • coq and ocaml conflict
    #150 · created Mar 28, 2018 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 3
    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
  • Attributes of size 1 are rejected
    #148 · created Mar 20, 2019 by Steven DE OLIVEIRA   bug kernel
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Frama-C should not have unimplemented headers
    #146 · created Jun 15, 2014 by mantis-gitlab-migration   enhancement kernel
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Obfuscator does not obfuscate argument name of function pointers
    #145 · created Mar 26, 2019 by Virgile Prevosto   bug obfuscator
    • CLOSED
    • 2
    updated Feb 22, 2021
  • r23410: unsound reporting of pre-condition status
    #143 · created Aug 29, 2013 by Pascal Cuoq   bug kernel
    • CLOSED
    • 7
    updated Feb 22, 2021
  • Grammar omissions in 1.9
    #140 · created Nov 23, 2015 by David Cok   ACSL
    • CLOSED
    • 7
    updated Feb 22, 2021
  • grammar and implementation disagree on predicate/logic declarations
    #139 · created May 22, 2019 by David Cok   ACSL enhancement
    • CLOSED
    • 1
    updated Feb 22, 2021
  • tset issues in manual "acsl-implementation-Aluminium-20160501.pdf"
    #138 · created Jun 27, 2016 by Jochen Burghardt   documentation
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Can we calculate or extract metrics from program dependency graph generated by frama-c
    #137 · created Jul 17, 2019 by mantis-gitlab-migration   bug metrics
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Crash at "hashtbl.ml", line 462
    #136 · created Jul 26, 2019 by mantis-gitlab-migration   critical kernel
    • CLOSED
    • 4
    updated Feb 22, 2021
  • E-ACSL: segmentation fault on a simple strlen function
    #135 · created Aug 19, 2019 by mantis-gitlab-migration   critical e-acsl
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Bytecode only build fail with error 127
    #134 · created Aug 23, 2019 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Can't view publications on the wiki
    #131 · created Sep 10, 2019 by mantis-gitlab-migration   bug website
    • CLOSED
    • 4
    updated May 09, 2022
  • FieldEngineer
    #130 · created Sep 23, 2019 by mantis-gitlab-migration   ACSL enhancement kernel
    • CLOSED
    • 0
    updated Feb 22, 2021
  • Freelance
    #129 · created Sep 23, 2019 by mantis-gitlab-migration   ACSL kernel
    • CLOSED
    • 0
    updated Feb 22, 2021
  • Prove of \false
    #126 · created Feb 16, 2019 by Jens Gerlach   bug wp
    • CLOSED
    • 6
    updated Apr 15, 2021
  • Shape of VC depends on selection of properties
    #125 · created Oct 08, 2018 by Jens Gerlach   bug wp
    • CLOSED
    • 4
    updated Sep 21, 2021
  • incomplete loading of saved state when using WP?
    #124 · created Mar 09, 2017 by Jens Gerlach   bug wp
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Prev
  • 1
  • …
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • Next