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
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
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
Stefan Gränitz
Frama Clang
Graph
085737cee8f559384a4d903ff540542c09059eab
Select Git revision
Branches
10
clang-tidy-modernize-use-override
cmd-line-args-fix
cxx14-generic-lambda
cxx14-generic-lambda-dev05
cxx14-generic-lambda-dev08
cxx14-generic-lambda-dev10
forward-rvalue-ref
libcxx-add-ratio
main
default
wip-frama-c-2564
10 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
Apr
5
4
16
Feb
15
14
7
4
26
Oct
19
8
29
Sep
27
22
21
21
Aug
19
17
13
11
10
6
21
Jul
15
13
9
6
[ir2cabs] tiny refactoring (use List.fold_left instead of manual list unroll)
cxx14-generic-l…
cxx14-generic-lambda
[tests] update test configuration for new test file
Expect new lambda codegen for existing tests/stl/stl_algorithm.cpp
Expect new lambda codegen for existing tests/basic/lambda.cpp
Add test for C++14 generic lambda feature
Make lambda unique IDs deterministic
Cleanup codegen for C++14 generic lambda feature
Add support for C++14 generic lambdas
Merge branch 'clang-tidy-modernize-use-override' into stable/chromium
[Makefile] put -Wsuggested-override in Makefile
clang-tidy-mode…
clang-tidy-modernize-use-override
Adding a few more overrides that -Wsuggest-override caught but clang-tidy didn't
Make exhaustive use of C++11 override keyword (NFC)
Merge branch 'cmd-line-args-fix' into stable/chromium
[doc] remove reference to unimplemented options in user manual
cmd-line-args-fix
cmd-line-args-fix
[clang2ir] do not warn about unknown option: assume clang will handle it
Fix infinite loop when processing unknown double-dash argument
Merge branch 'wip-frama-c-2564' into stable/chromium
[clang2ir] Fix function name for retarded definitions
wip-frama-c-2564
wip-frama-c-2564
[tests] fix options for launching test
Drop a few warnings and default definitions from the test suite
Prefer potential duplicate definitions in AST over NON TERMINATING analysis result
[WIP] Fix recognition of certain functions with r-value return types
Merge branch 'forward-rvalue-ref' into stable/chromium
[libc++] Fix std::forward for r-value references
forward-rvalue-…
forward-rvalue-ref
Merge branch 'fix/init-global-int' into 'stable/chromium'
[clang2ir] Fix translation of negative integral constants
[tests] towards fixing pub/frama-clang#4
[ir2cabs] systematically use mk_int64_cst for translating integer constants
[ir2cabs] fix conversion of negative integer constants
[tests] update wp-cache
Merge branch 'feature/allow-demangling-c-files' into 'stable/chromium'
Apply suggestions from review
Merge branch 'feature/msvc' into 'stable/chromium'
[machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C
[options] -cxx-parseable-output implies no unmangling
[doc] update README for new options
[doc] update userman version numbers and LaTeX class
[options] better option for having reparseable code
[options] refactor unmangling options and allow unmangling even on C files
better test options
Loading