Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • 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 204
    • Issues 204
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Repository
Switch branch/tag
  • frama-c
  • src
  • kernel_internals
  • typing
  • cabs2cil.ml
Find file BlameHistoryPermalink
  • David Bühler's avatar
    [kernel] Cabs2cil: do not create const temporary variables. · 084a6d88
    David Bühler authored Oct 09, 2020 and Andre Maroneze's avatar Andre Maroneze committed Oct 15, 2020
    Removes the "const" attribute from types used to create temporary variables.
    084a6d88

Replace cabs2cil.ml

Attach a file by drag & drop or click to upload


Cancel
GitLab will create a branch in your fork and start a merge request.