Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Stefan Gränitz
Frama Clang
Repository
Branches
Overview
Active
Stale
All
cxx14-generic-lambda
dd6de596
·
[ir2cabs] tiny refactoring (use List.fold_left instead of manual list unroll)
·
Apr 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clang-tidy-modernize-use-override
c4664fdd
·
[Makefile] put -Wsuggested-override in Makefile
·
Apr 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cmd-line-args-fix
085737ce
·
[doc] remove reference to unimplemented options in user manual
·
Apr 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip-frama-c-2564
a7d772c9
·
[clang2ir] Fix function name for retarded definitions
·
Apr 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
forward-rvalue-ref
67a52f9d
·
[libc++] Fix std::forward for r-value references
·
Apr 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cxx14-generic-lambda-dev10
a1d04502
·
[wip] Clang-mangled lambda names
·
Aug 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cxx14-generic-lambda-dev08
a53e073c
·
Expect new lambda codegen for existing tests/stl/stl_algorithm.cpp
·
Aug 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cxx14-generic-lambda-dev05
3e1877a1
·
[WIP] Initialize captures only once upfront
·
Aug 17, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
libcxx-add-ratio
3ac7c020
·
[WIP] Add tests for ratio header (results not gratifying yet)
·
Aug 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
main
default
004084f0
·
[WIP] Attempt to generate a unique name for each overload
·
Jul 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar