Commits · master · ankit247 / Frama Clang

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 6 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
- Update nix/frama-ci.* · f023690a
  Virgile Prevosto authored Sep 22, 2021
  
  f023690a
21 Sep, 2021 4 commits
- Update nix/frama-ci.* · 707d0d4d
  Virgile Prevosto authored Sep 21, 2021
  
  707d0d4d
- Update nix/frama-ci.* · 79da6b27
  Virgile Prevosto authored Sep 21, 2021
  
  79da6b27
- Update nix/frama-ci.* · 2875ec5e
  Virgile Prevosto authored Sep 21, 2021
  
  2875ec5e
- Update nix/frama-ci.* · a654df70
  Virgile Prevosto authored Sep 21, 2021
  
  a654df70
06 Aug, 2021 2 commits
- Merge branch 'fix/wp/terminates-result-display' into 'master' · f335209f
  Allan Blanchard authored Aug 06, 2021
```
WP displays trivial terminates proofs

See merge request frama-c/frama-clang!150
```
  f335209f
- WP displays trivial terminates proofs · 02791eaa
  Allan Blanchard authored Jun 25, 2021
  
  02791eaa
13 Jul, 2021 4 commits
- distribute cxx_builtin + avoid duplicating list of distrib files · 0d573024
  Virgile Prevosto authored Jul 13, 2021
  
  0d573024
- 2021 headers · a0ee0ebc
  Virgile Prevosto authored Jul 12, 2021
  
  a0ee0ebc
- Version bump · fdc341d1
  Virgile Prevosto authored Jul 12, 2021
  
  fdc341d1
- no clang-12 compatibility issues · c1528e99
  Virgile Prevosto authored Jul 12, 2021
  
  c1528e99
09 Jul, 2021 1 commit
- Merge branch 'feature/andre/libc-pcpy' into 'master' · a5590a85
  Virgile Prevosto authored Jul 09, 2021
```
synchronize with frama-c/frama-c!3257

See merge request frama-c/frama-clang!151
```
  a5590a85
06 Jul, 2021 6 commits
- synchronize with frama-c/frama-c!3257 · 57b10a76
  Andre Maroneze authored Jun 25, 2021
  
  57b10a76
- Update nix/frama-ci.* · 86747eaf
  Virgile Prevosto authored Jun 23, 2021
  
  86747eaf
- Update nix/frama-ci.* · fd902513
  Virgile Prevosto authored Jun 23, 2021
  
  fd902513
- Update nix/frama-ci.* · b0d50f96
  Virgile Prevosto authored Jun 02, 2021
  
  b0d50f96
- Update nix/frama-ci.* · f53d6369
  Virgile Prevosto authored Jun 02, 2021
  
  f53d6369
- Update nix/frama-ci.* · 5e465664
  Virgile Prevosto authored Jun 02, 2021
  
  5e465664