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 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 8
  • Closed 42
  • All 50
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • the input file should be the first argument to ptests
    #1252 · created Feb 23, 2011 by Julien Signoles   compilation enhancement
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Strange problem with FRAMAC_LIB from Makefile.dynamic
    #1946 · created Nov 15, 2012 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • initialization fails without explicitly setting FRAMAC_SHARE on Windows
    #1839 · created Jul 18, 2013 by David Cok   bug compilation
    • CLOSED
    • 4
    updated Feb 22, 2021
  • Install frama-c.top
    #1802 · created Mar 22, 2012 by mantis-gitlab-migration   compilation enhancement
    • CLOSED
    • 13
    updated Feb 22, 2021
  • Getting frama-c version through --enable-external
    #1779 · created Jan 23, 2012 by Julien Signoles   compilation enhancement
    • CLOSED
    • 1
    updated Feb 22, 2021
  • actions done with make install -n (svn 10897)
    #1742 · created Dec 13, 2010 by Stephane Duprat   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • .make-ocamlgraph is not needed when using non-local ocamlgraph
    #1674 · created Apr 27, 2010 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 1
    updated Feb 22, 2021
  • After ./confugure with --disable-all-staff options, make holds
    #1622 · created Oct 27, 2009 by Nikolai Kosmatov   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Can't compile
    #247 · created Jul 25, 2018 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 7
    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
  • "make clean" does not work when upgrading OCaml
    #1472 · created Jan 08, 2013 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Bad links in generated documentation modules.svg
    #1391 · created Feb 06, 2012 by mantis-gitlab-migration   compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • PLUGIN_LINK_GUI_OFLAGS not used ?
    #1378 · created Apr 12, 2012 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Compiling Wp-Coq library
    #1114 · created Mar 13, 2014 by Dillon Pariente   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Handling error in external plug-in through --enable-external
    #1356 · created Jan 23, 2012 by Julien Signoles   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • make install fails when --prefix is the source directory
    #947 · created Nov 12, 2014 by Mihaela Sighireanu   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Erreur de linkage de librarie ocaml avec des fichier objets
    #1007 · created Apr 05, 2014 by mantis-gitlab-migration   compilation critical
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Cannot switch to local version if OCamlgraph is already installed
    #790 · created May 01, 2014 by Richard Bonichon   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Configure step fails on bytecode architectures
    #323 · created Apr 28, 2014 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 2
    updated Feb 22, 2021
  • opam installation of frama-c-base fails
    #311 · created Nov 07, 2017 by mantis-gitlab-migration   bug compilation
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Prev
  • 1
  • 2
  • 3
  • Next