Merge requests · pub / Frama Clang

Feature/ratio

!9 · created Apr 08, 2022 by T-Gruber
- Closed
- 1
- Approved
updated Oct 10, 2022
Feature/limits

!8 · created Apr 08, 2022 by T-Gruber
- Closed
- 4
- Approved
updated Oct 10, 2022
Revert "Merge branch 'fix/integral_constant' into 'master'"

!7 · created Apr 06, 2022 by Franck Vedrine
updated Apr 06, 2022
Update type_traits (integral_constant): template specialization where type T is bool

!6 · created Mar 18, 2022 by T-Gruber
- Merged
- Approved
updated Apr 06, 2022
Add support for C++14 generic lambdas

!5 · created Aug 19, 2021 by Stefan Gränitz
- Closed
- 2
- Approved
updated Apr 18, 2022
Make exhaustive use of C++11 override keyword (NFC)

!4 · created Jul 15, 2021 by Stefan Gränitz
- Closed
- 3
- Approved
updated Apr 18, 2022
Fix infinite loop when processing unknown double-dash argument

!3 · created Jul 13, 2021 by Stefan Gränitz
- Closed
- 2
- Approved
updated Apr 18, 2022
Fix std::move for std::unique_ptr with non-primitive payloads

!2 · created Jul 08, 2021 by Stefan Gränitz
- Closed
- 5
- Approved
updated Apr 18, 2022
[libc++] Fix std::forward for r-value references

!1 · created Jul 08, 2021 by Stefan Gränitz
- Closed
- 2
- Approved
updated Apr 18, 2022