Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F Frama-C Website
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • Frama-C Website
  • Merge requests

  • Open 2
  • Merged 145
  • Closed 5
  • All 152
  • Priority Created date Updated date Milestone due date Popularity Label priority Merged date Closed date Title
  • Add the exclude so that the cloning is smaller
    !2 · created Nov 07, 2019 by François Bobot
    • MERGED
    • 2
    updated Nov 07, 2019
  • Cache bundle files in order to speed up page generation
    !4 · created Nov 07, 2019 by François Bobot
    • MERGED
    • 0
    updated Nov 07, 2019
  • Update documentation start paage
    !3 · created Nov 07, 2019 by François Bobot
    • MERGED
    • 0
    updated Nov 07, 2019
  • Leaflet map in contact page
    !7 · created Nov 07, 2019 by Marc Coudriau
    • MERGED
    • 0
    updated Nov 07, 2019
  • add transparent background for Name and Email input fields
    !12 · created Nov 07, 2019 by Thibault Martin
    • MERGED
    • 0
    updated Nov 07, 2019
  • Fixes plugin pages of Eva, Mthread and Studia
    !8 · created Nov 07, 2019 by David Bühler
    • MERGED
    • 0
    updated Nov 07, 2019
  • update author list
    !15 · created Nov 07, 2019 by Thibault Martin
    • MERGED
    • 0
    updated Nov 07, 2019
  • Fixes the calendar and creates the last events
    !13 · created Nov 07, 2019 by David Bühler
    • MERGED
    • 1
    updated Nov 07, 2019
  • Fix/glob review
    !16 · created Nov 07, 2019 by Yaëlle Vinçont
    • MERGED
    • 0
    updated Nov 07, 2019
  • Documentation pages
    !10 · created Nov 07, 2019 by Allan Blanchard
    • MERGED
    • 0
    updated Nov 07, 2019
  • Add community icons
    !17 · created Nov 07, 2019 by Yaëlle Vinçont
    • MERGED
    • 0
    updated Nov 07, 2019
  • [index] fix Value to Eva
    !18 · created Nov 07, 2019 by Yaëlle Vinçont
    • MERGED
    • 0
    updated Nov 07, 2019
  • Feature/natural timeline
    !19 · created Nov 12, 2019 by Marc Coudriau
    • MERGED
    • 0
    updated Nov 12, 2019
  • New page about the ACSL language.
    !20 · created Jan 10, 2020 by Augustin Lemesle
    • MERGED
    • 1
    updated Jan 10, 2020
  • plugins
    !9 · created Nov 07, 2019 by Virgile Prevosto
    • MERGED
    • 21
    updated Apr 02, 2020
  • Import old blog posts and fix/improve general blog layout   3 of 3 tasks completed
    !6 · created Nov 07, 2019 by Andre Maroneze
    • MERGED
    • 3
    updated Apr 06, 2020
  • [get-frama-c] update instructions and change colors
    !23 · created May 04, 2020 by Andre Maroneze
    • MERGED
    • 1
    updated May 05, 2020
  • Update ACSL page
    !24 · created May 05, 2020 by Virgile Prevosto
    • MERGED
    • 0
    updated May 05, 2020
  • Hackathon2/augustin/fixes
    !25 · created May 05, 2020 by Augustin Lemesle
    • MERGED
    • 0
    updated May 05, 2020
  • Simplifies and generalizes CSS for lists
    !26 · created May 05, 2020 by Allan Blanchard
    • MERGED
    • 4
    updated May 05, 2020
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 8
  • Next