Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
open-source-case-studies
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model 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
open-source-case-studies
Graph
a7e08ea2d1a3511db1093170847cf0ed925eecfa
Select Git revision
Branches
16
add-bench-scripts
add-nginx
add-zlib
analysis/octagon
bdesloges/coreutils
feature/STR2RTS
feature/aperrin/ctfs
feature/new-cgc
feature/svcomp
ltest-experimental
make-framac-local
master
default
protected
new/cb-multios
slow-remove-redundant-alarms
sync-frama-c-master
test-gnugo
Tags
1
MIEL-2023-10
17 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
7
Mar
24
Feb
19
13
3
31
Jan
10
1
Oct
19
Aug
9
31
Jul
26
Jun
25
17
14
13
12
11
10
7
6
5
4
27
May
24
17
16
5
Apr
27
Mar
21
20
19
15
14
12
8
7
26
Feb
8
Jan
8
Dec
6
26
Oct
25
23
18
10
21
Sep
6
5
19
Jul
13
6
Jun
2
23
May
25
Apr
24
27
Mar
23
Feb
1
31
Jan
15
Nov
20
Oct
19
18
5
4
28
Sep
26
21
12
9
7
6
1
Jul
17
Jun
16
13
3
10
May
6
22
Apr
21
15
13
2
1
26
Mar
14
15
Feb
10
26
Jan
25
21
20
18
10
14
Dec
10
15
Nov
9
5
Oct
3
Sep
31
Aug
10
22
Jul
19
13
6
25
Jun
24
23
21
15
8
7
2
19
May
18
27
Apr
26
16
14
3
Mar
2
1
25
Feb
22
15
12
11
3
2
29
Jan
13
12
3
Dec
2
1
18
Nov
30
Oct
16
15
2
9
Sep
8
4
3
1
31
Aug
28
25
24
20
6
4
3
9
Jun
29
May
18
5
Merge branch 'sync-fc-master-2025-03-07' into 'master'
master
master
synchronize with frama-c master
Merge branch 'fix/sync/master-2025-02-24' into 'master'
sync with frama-c master
Merge branch 'sync-master-syntactic-changes' into 'master'
synchronize with frama-c master
[line-following-robot] avoid mixing versions of stdio.h (now a kernel error)
[line-following-robot] ensure compilation with GCC 14
Merge branch 'update-mbedtls-machdep' into 'master'
[mbedtls] update leon4 machdep
Merge branch 'synchronize-with-master' into 'master'
synchronize with frama-c master
update Docker image for CI (dev-stripped is no longer updated)
Merge branch 'feature/bdesloges/show-stats-all' into 'master'
Add a possible parameter "all" for show_stats.sh
[frama-c] Update Frama-C repository to latest libc
bdesloges/coreu…
bdesloges/coreutils
[coreutils] Update OSCS READMEs
[coreutils] Add Frama-C targets and stubs
[coreutils] Execute ./configure and add .gitignore
[coreutils] Add coreutils-9.5 sources
Merge branch 'new/powerwindow' into 'master'
[powerwindow] Eva analysis added
[powerwindow] new case study
[CTFs] adding ctf challenges
feature/aperrin…
feature/aperrin/ctfs
Merge branch 'sync-master' into 'master'
synchronize with frama-c master
synchronize with frama-c master
synchronize with frama-c master
[cgc] frama-c updated
new/cb-multios
new/cb-multios
[cgc] FablesReport : fc-results
[cgc] FablesReport : fc-lib
[cgc] FablesReport : fc-adapt
[cgc] Estadio : fc-results-update
[cgc] Estadio : fc-results
[cgc] Estadio : fc-lib
[cgc] Estadio : fc-adapt
[cgc] Estadio : fix
[cgc] Enslavednode_chat : fc-results
[cgc] Enslavednode_chat : fc-adapt
[cgc] Enslavednode_chat : fix
Loading