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
faa957b7e6b584fa7506be7e9dcc1ba85e84a19e
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
14
Mar
15
Jan
20
Dec
13
11
9
6
5
27
Nov
15
8
7
Oct
3
2
23
Sep
20
19
18
13
6
5
9
Aug
8
7
6
5
2
1
21
Jun
20
14
11
6
31
May
24
22
16
15
14
24
Apr
17
16
15
12
26
Mar
25
1
21
Feb
16
9
5
29
Jan
9
7
21
Dec
7
5
4
1
30
Nov
9
8
7
30
Oct
27
26
23
20
25
Sep
13
11
8
7
1
18
Jul
10
15
Jun
9
8
22
May
17
16
20
Apr
19
8
7
3
31
Mar
28
27
23
21
17
15
3
25
Feb
24
23
15
1
5
Jan
21
Dec
20
12
9
29
Nov
28
25
23
18
16
7
4
28
Oct
24
21
19
18
11
6
29
Jul
20
12
23
Jun
22
21
7
1
30
May
18
16
11
19
Apr
15
11
8
7
6
5
28
Mar
25
Feb
23
15
3
17
Dec
15
14
1
30
Nov
10
9
8
5
4
15
Oct
6
Aug
5
21
Jul
15
13
12
9
8
6
22
Jun
14
10
8
21
May
20
28
Apr
27
31
Mar
29
16
8
1
16
Feb
11
Jan
6
5
11
Dec
10
9
26
Nov
25
24
23
20
19
18
17
16
5
4
2
30
Oct
29
28
27
26
Remove old GUI's page
feature/bdeslog…
feature/bdesloges/update-ivette-page
Update Ivette's description
Fix README
Merge branch '2025-phd-e-acsl' into 'master'
master
master
Update positions:
Push again DMG files with LFS
Force DMG files to be handled in LFS
Removed some files not handled in LFS
[frama-clang] update last stable version
Merge branch 'release/metacsl-0.8' into 'master'
metacsl release 0.8
Merge branch 'release/frama-clang-0.0.17' into 'master'
frama-clang release 0.0.17
Merge branch 'release/30.0-zinc' into 'master'
Merge branch 'release/metacsl-0.8-beta' into 'master'
[release] prepare 30.0-zinc
Merge branch 'release/frama-clang-0.0.17-beta' into 'master'
metacsl release 0.8~beta
[frama-clang] minimize version-specific content in the page.
[fclang] add correct manual version
Remove spurious pdf
frama-clang release 0.0.17~beta
Merge branch 'release/30.0-beta-zinc' into 'master'
[release] prepare 30.0~beta-zinc
Merge branch 'internships-2025-virgile' into 'master'
Typos
[jobs] proposal for updating skeleton
[position] abstraction internship
[position] LSIF internship
Merge branch 'release/metacsl-0.7' into 'master'
metacsl release 0.7
Merge branch 'move-installation-pages' into 'master'
Link installation pages to the GitLab
Fix gallery
Merge branch 'feature/fix-itemize' into 'master'
gcc is the most commonly-used compiler overall?
Fix itemize in markdown (gitlab vs jekyll)
Merge branch 'publi/wp-2024' into 'master'
Merge branch 'blog/preprocessing-tips' into 'master'
[blog] post with tips about debugging the preprocessor
Loading