Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
F
Frama-C Website
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
Frama-C Website
Graph
64c0d179b09ab41328bcc98a9a7c40147864fd49
Select Git revision
Branches
4
feature/bdesloges/update-ivette-page
fix/martin/fix-changelog-event-display
improve-index-wip-proposal
master
default
protected
4 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
18
Nov
17
16
5
4
2
30
Oct
29
28
27
26
23
22
21
1
25
Sep
9
8
7
4
3
2
1
31
Aug
28
27
25
24
7
6
5
26
Jun
18
17
12
25
May
20
19
12
11
7
6
5
4
29
Apr
6
2
13
Mar
11
10
15
Jan
14
13
10
6
Dec
21
Nov
18
12
8
7
24
Oct
3
2
20
Sep
19
11
10
6
5
4
2
30
Aug
29
27
22
21
add local sorting for documentation
Main index section centered
add order for Eva & WP
Use short names for the plugins page
Changes ACSL tab into "Specification"
Merge branch 'feature/descriptions-for-seo' into 'master'
Descriptions: verification -> analysis
Better descriptions
Version page description
Merge branch 'doc-pdg-slicing-french' into 'master'
add description in layouts, fix page.name
Typo
Adds slicing documentation in quick access
Adds description to main pages
add French documentation for Slicing and PDG
Merge branch 'fix-scandium-installation-instructions' into 'master'
Fix Scandium installation instructions
Merge branch 'clean/cssminify' into 'master'
Merge branch 'blog-docker-images' into 'master'
add blog post
restore swiper css for safety
remove exit 0 to try
clean css of changelog
add rejected classes print
add install purify css
add another stage in CI
add dependencies
nodejs
nodejs
add nodejs
Merge branch 'fix-beta-accent' into 'master'
add ci for CSS check and minifier
further CSS clean
re add changelog css (as not generated offline)
add minifier plugin
initial clean of css by tool
move swiper.css to html for detection by purifycss
remove extraneous accents
Merge branch 'fix/main-page/displayed-version-names' into 'master'
Be sure that lastest version is the stable one
Loading