Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
F
Frama Clang
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor 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 Clang
Graph
7202c4899fe93e268c84585fda455500b0017b0b
Select Git revision
Branches
14
forward-rvalue-ref
master
default
protected
revert-6a4cd7cd
stable/calcium
stable/chromium
stable/cobalt
stable/copper
stable/iron
stable/manganese
stable/nickel
stable/scandium
stable/titanium
stable/vanadium
stable/zinc
Tags
15
0.0.17
0.0.17-beta
0.0.16
0.0.15
0.0.14
0.0.13
pre-dune
0.0.12
24.0-beta
0.0.10
v0.0.10
VESSEDIA-D2.5
VESSEDIA-D2.3
0.0.4
20150324
29 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
6
Oct
5
4
29
Sep
21
13
9
8
31
Aug
30
29
Jul
28
12
11
8
7
1
21
Jun
9
7
6
25
May
18
17
16
13
12
11
10
9
3
2
22
Apr
14
11
8
7
6
5
4
24
Mar
21
18
11
25
Feb
16
15
14
7
4
26
Jan
20
14
6
5
4
3
Dec
8
Nov
28
Oct
26
21
19
8
29
Sep
27
22
21
6
Aug
13
Jul
12
9
6
8
Mar
5
25
Feb
24
16
Nov
13
12
5
4
3
27
Oct
23
14
12
9
7
6
5
2
28
Sep
18
17
11
10
8
28
Aug
27
26
21
7
6
5
4
9
Jul
8
7
6
18
Jun
16
Mar
13
11
10
13
Dec
12
6
5
2
12
Sep
30
Aug
Merge remote-tracking branch 'origin/stable/manganese'
update requirements in README
0.0.13 stable/m…
0.0.13 stable/manganese
yet another version bump
update © year for user manual
update version number and documentation
[c2ir] remove #if for clang < 10
add headers for new files
Merge branch 'feature/T-Gruber/limits' into 'stable/manganese'
[clang] clang-10 compatibility
[tests] add test for <limits> header and update oracles
[stl] fix copy 'n paste issue in unsigned long long numeric_limits
[stl] add cmath for importing math.h in C++ world.
[stl] use FC's own symbols for numeric limits whenever possible
[c2ir] assert that native wchar_t has same size as FC's one on C side.
[c2ir] do not impose sizeof(wchar_t) == 2 regardless of machdep
[c2ir] use hexadecimal format for floating point literal
Update Makefile.common
Add limits header
Add cfloat header
Merge branch 'feature/ghost/fix-vlas-and-builtins' into 'master'
Merge branch 'feature/T-Gruber/ratio' into 'stable/manganese'
[Makefile] link gen_ast against camlp_streams
[nix] add camlp-streams package
minor typo in comment
[tests] update oracles following previous changes
[c2ir] not all global constants are static after all
[tests] add test case for ratio
[stl] use intmax_t for ratio, as specified by standard
[c2ir] Tydef'ed static const can have a value in C translation too
Update Makefile.common
Add ratio header
[ci] minimal llvm version is 11
README (version 111)
[IR gen] Handles FC_BUILTIN attribute
Merge branch 'bugfix/patrick/some-fixes-related-to-default-spec' into 'master'
[oracles] next to kernel changes
Merge branch 'feature/extlib/remove-functions' into 'master'
No more Extlib.swap, Extlib.opt_fold, Extlib.filter_map
Merge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master'
[ptests] requires dune 3.2
Loading