Commits · master · T-Gruber / Frama Clang

14 Feb, 2022 3 commits
- Merge remote-tracking branch 'origin/stable/chromium' · a7a0984d
  Virgile Prevosto authored Feb 14, 2022
  
  a7a0984d
- Merge branch 'feature/llvm-13' into 'stable/chromium' · 8448b160
  Virgile Prevosto authored Feb 14, 2022
```
Update for LLVM-13 compatibility

See merge request frama-c/frama-clang!163
```
  8448b160
- Merge branch 'feature/ocaml-4.13' into 'stable/chromium' · b98c817b
  Virgile Prevosto authored Feb 14, 2022
```
Support for OCaml 4.13

See merge request frama-c/frama-clang!164
```
  b98c817b
07 Feb, 2022 5 commits
- [tests] remove incorrect spec from tests/val_analysis/result.cc · 4adb38ee
  Virgile Prevosto authored Feb 07, 2022
```
In presence of constructor elision, the contract of f didn't make sense
```
  4adb38ee
- [clang] use NRVO information at ReturnStmt level · ed8574ce
  Virgile Prevosto authored Feb 07, 2022
```
isElidable at ConstructorExpr is not used in this case in clang-13
```
  ed8574ce
- [ci] re-add missing nix tags · ccf60c8e
  Virgile Prevosto authored Feb 01, 2022
  
  ccf60c8e
- [ci] preparing tests against llvm-13 · 71086cd3
  Virgile Prevosto authored Jan 31, 2022
  
  71086cd3
- [compat] preparing support for LLVM-13 · 069efd3a
  Virgile Prevosto authored Feb 07, 2022
  
  069efd3a
04 Feb, 2022 2 commits
- [Makefile] ensures gen_ast.cmi is compiled before compiling implementation · 56413a5c
  Virgile Prevosto authored Feb 04, 2022
  
  56413a5c
- OCaml 4.13 compatibility · a82ea2be
  Virgile Prevosto authored Jan 31, 2022
  
  a82ea2be
26 Jan, 2022 2 commits
- Merge branch 'feature/andre/variadic-add-wkeys' into 'master' · 5aaecb02
  Valentin Perrelle authored Jan 26, 2022
```
sync with frama-c/frama-c!3500

See merge request frama-c/frama-clang!162
```
  5aaecb02
- sync with frama-c/frama-c!3500 · 79a974b0
  Andre Maroneze authored Jan 26, 2022
  
  79a974b0
20 Jan, 2022 1 commit
- Merge branch 'feature/andre/libc-8cc' into 'master' · efe3dab8
  Andre Maroneze authored Jan 20, 2022
```
sync with frama-c/frama-c!3512

See merge request frama-c/frama-clang!160
```
  efe3dab8
14 Jan, 2022 1 commit
- sync with frama-c/frama-c!3512 · 99cc5514
  Andre Maroneze authored Jan 03, 2022
  
  99cc5514
06 Jan, 2022 1 commit
- Merge branch 'feature/patrick/test-exec-from-result-dir' into 'master' · ef0b5ef8
  Patrick Baudin authored Jan 06, 2022
```
[Tests] test command are executed from result directories

See merge request frama-c/frama-clang!159
```
  ef0b5ef8
05 Jan, 2022 1 commit
- Fix tag for llvm 10 · 766033a1
  Allan Blanchard authored Jan 05, 2022
  
  766033a1
04 Jan, 2022 2 commits
- [Tests] updated oracles · a2ad32ba
  Patrick Baudin authored Jan 04, 2022
  
  a2ad32ba
- [Tests] requirement for test execution from result directories · fd6cf0c9
  Patrick Baudin authored Dec 22, 2021
  
  fd6cf0c9
03 Dec, 2021 1 commit
- Merge branch 'feature/kernel/removes-deprecated-features' into 'master' · 0b7c5226
  Virgile Prevosto authored Dec 03, 2021
```
[kernel-compat] removed AST nodes

See merge request frama-c/frama-clang!158
```
  0b7c5226
08 Nov, 2021 1 commit
- [kernel-compat] removed AST nodes · 614ccb9d
  Allan Blanchard authored Nov 08, 2021
  
  614ccb9d
28 Oct, 2021 2 commits
- Merge branch 'feature/patrick/chromium2master' into 'master' · c0917f18
  Patrick Baudin authored Oct 28, 2021
```
Reverse chromium into master

See merge request frama-c/frama-clang!157
```
  c0917f18
- Merge remote-tracking branch 'origin/stable/chromium' into feature/patrick/chromium2master · c0c4446f
  Patrick Baudin authored Oct 28, 2021
  
  c0c4446f
26 Oct, 2021 1 commit
- Merge branch 'feature/andre/static-assert' into 'stable/chromium' · 0f8e9caa
  Virgile Prevosto authored Oct 26, 2021
```
sync with frama-c/frama-c!3182

See merge request frama-c/frama-clang!153
```
  0f8e9caa
21 Oct, 2021 2 commits
- Merge branch 'feature/patrick/chrominum2master' into 'master' · d31be268
  Patrick Baudin authored Oct 21, 2021
```
Updates an oracle next to kernel changes

See merge request frama-c/frama-clang!156
```
  d31be268
- updates an oracle next to kernel changes · 3b44dacc
  Patrick Baudin authored Oct 21, 2021
  
  3b44dacc
19 Oct, 2021 6 commits
- Merge branch 'feature/andre/libc-uio' into 'stable/chromium' · 3ce94fde
  Valentin Perrelle authored Oct 19, 2021
```
sync with frama-c/frama-c!2338

See merge request frama-c/frama-clang!146
```
  3ce94fde
- [ci] reset default branch for master · 64926996
  Virgile Prevosto authored Oct 19, 2021
  
  64926996
- Merge remote-tracking branch 'origin/stable/chromium' · ba07cc18
  Virgile Prevosto authored Oct 19, 2021
  
  ba07cc18
- [ci] set default branch to stable/chromium · 6962bd59
  Virgile Prevosto authored Oct 19, 2021
  
  6962bd59
- [ci] set default branch for stable/chromium · 5c36d648
  Virgile Prevosto authored Oct 19, 2021
  
  5c36d648
- sync with frama-c/frama-c!2338 · 52192e1f
  Andre Maroneze authored May 04, 2021
  
  52192e1f
08 Oct, 2021 2 commits
- Update nix/frama-ci.* · eb1d3603
  Virgile Prevosto authored Oct 08, 2021
  
  eb1d3603
- Merge branch 'fix/interface-files' into 'master' · 4001a6b3
  Virgile Prevosto authored Oct 08, 2021
```
Update Frama-CI data

See merge request frama-c/frama-clang!155
```
  4001a6b3
29 Sep, 2021 1 commit
- sync with frama-c/frama-c!3182 · ec046034
  Andre Maroneze authored Aug 26, 2021
  
  ec046034
27 Sep, 2021 1 commit
- Update nix/frama-ci.* · 540a3c09
  Virgile Prevosto authored Sep 27, 2021
  
  540a3c09
22 Sep, 2021 5 commits
- Update nix/frama-ci.* · d3c332b2
  Virgile Prevosto authored Sep 22, 2021
  
  d3c332b2
- Update nix/frama-ci.* · 3ca1d3c8
  Virgile Prevosto authored Sep 22, 2021
  
  3ca1d3c8
- Update nix/frama-ci.* · c2508143
  Virgile Prevosto authored Sep 22, 2021
  
  c2508143
- Update nix/frama-ci.* · 94e7800e
  Virgile Prevosto authored Sep 22, 2021
  
  94e7800e
- Update nix/frama-ci.* · 801da37d
  Virgile Prevosto authored Sep 22, 2021
  
  801da37d