Commits · ed8574ce3b466ebf5af4656750fcb06b8ff607bf · pub / Frama Clang

Feb 07, 2022
- [clang] use NRVO information at ReturnStmt level · ed8574ce
  Virgile Prevosto authored 3 years ago
  
  isElidable at ConstructorExpr is not used in this case in clang-13
  ed8574ce
- [ci] re-add missing nix tags · ccf60c8e
  Virgile Prevosto authored 3 years ago
  
  ccf60c8e
- [ci] preparing tests against llvm-13 · 71086cd3
  Virgile Prevosto authored 3 years ago
  
  71086cd3
- [compat] preparing support for LLVM-13 · 069efd3a
  Virgile Prevosto authored 3 years ago
  
  069efd3a
Oct 26, 2021
- Merge branch 'feature/andre/static-assert' into 'stable/chromium' · 0f8e9caa
  Virgile Prevosto authored 3 years ago
  
  sync with frama-c/frama-c!3182 See merge request frama-c/frama-clang!153
  View commits for tag 24.0-beta 24.0-beta
  
  0f8e9caa
Oct 19, 2021
- Merge branch 'feature/andre/libc-uio' into 'stable/chromium' · 3ce94fde
  Valentin Perrelle authored 3 years ago
  
  sync with frama-c/frama-c!2338 See merge request frama-c/frama-clang!146
  3ce94fde
- [ci] set default branch to stable/chromium · 6962bd59
  Virgile Prevosto authored 3 years ago
  
  6962bd59
- sync with frama-c/frama-c!2338 · 52192e1f
  Andre Maroneze authored 3 years ago
  
  52192e1f
Oct 08, 2021
- Update nix/frama-ci.* · eb1d3603
  Virgile Prevosto authored 3 years ago
  
  eb1d3603
- Merge branch 'fix/interface-files' into 'master' · 4001a6b3
  Virgile Prevosto authored 3 years ago
  
  Update Frama-CI data See merge request frama-c/frama-clang!155
  4001a6b3
Sep 29, 2021
- sync with frama-c/frama-c!3182 · ec046034
  Andre Maroneze authored 3 years ago
  
  ec046034
Sep 27, 2021
- Update nix/frama-ci.* · 540a3c09
  Virgile Prevosto authored 3 years ago
  
  540a3c09
Sep 22, 2021
- Update nix/frama-ci.* · d3c332b2
  Virgile Prevosto authored 3 years ago
  
  d3c332b2
- Update nix/frama-ci.* · 3ca1d3c8
  Virgile Prevosto authored 3 years ago
  
  3ca1d3c8
- Update nix/frama-ci.* · c2508143
  Virgile Prevosto authored 3 years ago
  
  c2508143
- Update nix/frama-ci.* · 94e7800e
  Virgile Prevosto authored 3 years ago
  
  94e7800e
- Update nix/frama-ci.* · 801da37d
  Virgile Prevosto authored 3 years ago
  
  801da37d
- Update nix/frama-ci.* · f023690a
  Virgile Prevosto authored 3 years ago
  
  f023690a
Sep 21, 2021
- Update nix/frama-ci.* · 707d0d4d
  Virgile Prevosto authored 3 years ago
  
  707d0d4d
- Update nix/frama-ci.* · 79da6b27
  Virgile Prevosto authored 3 years ago
  
  79da6b27
- Update nix/frama-ci.* · 2875ec5e
  Virgile Prevosto authored 3 years ago
  
  2875ec5e
- Update nix/frama-ci.* · a654df70
  Virgile Prevosto authored 3 years ago
  
  a654df70
Aug 06, 2021
- Merge branch 'fix/wp/terminates-result-display' into 'master' · f335209f
  Allan Blanchard authored 3 years ago
  
  WP displays trivial terminates proofs See merge request frama-c/frama-clang!150
  f335209f
- WP displays trivial terminates proofs · 02791eaa
  Allan Blanchard authored 3 years ago
  
  02791eaa
Jul 13, 2021
- distribute cxx_builtin + avoid duplicating list of distrib files · 0d573024
  Virgile Prevosto authored 3 years ago
  
  0d573024
- 2021 headers · a0ee0ebc
  Virgile Prevosto authored 3 years ago
  
  a0ee0ebc
- Version bump · fdc341d1
  Virgile Prevosto authored 3 years ago
  
  fdc341d1
- no clang-12 compatibility issues · c1528e99
  Virgile Prevosto authored 3 years ago
  
  c1528e99
Jul 09, 2021
- Merge branch 'feature/andre/libc-pcpy' into 'master' · a5590a85
  Virgile Prevosto authored 3 years ago
  
  synchronize with frama-c/frama-c!3257 See merge request frama-c/frama-clang!151
  a5590a85
Jul 06, 2021
- synchronize with frama-c/frama-c!3257 · 57b10a76
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  57b10a76
- Update nix/frama-ci.* · 86747eaf
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  86747eaf
- Update nix/frama-ci.* · fd902513
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  fd902513
- Update nix/frama-ci.* · b0d50f96
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  b0d50f96
- Update nix/frama-ci.* · f53d6369
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  f53d6369
- Update nix/frama-ci.* · 5e465664
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  5e465664
- Update nix/frama-ci.* · 4cbdec6a
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  4cbdec6a
- Update nix/frama-ci.* · 9ae1dec2
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  9ae1dec2
- Update nix/frama-ci.* · a8a2e875
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  a8a2e875
- Update nix/frama-ci.* · 68aba337
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  68aba337
- Update nix/frama-ci.* · b6407904
  Virgile Prevosto authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  b6407904