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
251622168619581eb4b3dca034d7929e2668a561
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
7
Apr
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
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
Update ltest.md following review
Update ltest.md following review
Introducing LTest
Merge branch 'blog-mini-acsl' into 'master'
[blog] review post about acsl quick guide
[blog] post about quick ACSL guide for Eva
Merge branch 'fix-lfs' into 'master'
Fix broken LFS files
Merge branch 'positions/phd-on-ml4mf' into 'master'
[position] Phd position on machine learning for frama-c.
Filled Post-doc - Designing Compilation Techniques for Improving Efficiency of E-ACSL
Filled - PhD on Outline Runtime Assertion Checking
Merge branch 'baudin-master-patch-41201' into 'master'
Fixes demo example
Merge branch 'fix/acsl-example' into 'master'
[acsl] provides an example that can actually be verified by WP
minor
minor
engineer-researcher to computer-scientist
Merge branch 'get-frama-c-add-wsl2-workaround' into 'master'
Add WSL2 workaround to 'Get Frama-C' page
Merge branch 'feature/contact/more-visible-links' into 'master'
Reorganizes contact to make community more visible
Merge branch 'improve-get-frama-c' into 'master'
fix Frama-C Twitter account handle
add more prominent link to INSTALL.md in Get-Frama-C
Merge branch 'fix/main-manuals' into 'master'
Fix main RTE manual
Fix main ACSL implementation manual
Merge branch 'fix/manuals-version-number' into 'master'
fix version numbers in manuals
Merge branch 'release/stable-24.0-chromium' into 'master'
24.0-Chromium release
minor
researcher/engineer -> computer scientist
Merge branch 'pub/add/cacm-dog-pursuit' into 'master'
[Pub] Add publication "the dog pursuit"
Merge branch 'feature/fc-discuss-archives' into 'master'
Changes mailing list generation and fixes display
Fix CSS minifying
Loading