Commits · 4ad4ef84db0883e3b9f838f24c733b628becc2b5 · Stefan Gränitz / Frama Clang

Feb 14, 2022
- [options] better option for having reparseable code · 4ad4ef84
  Virgile Prevosto authored 3 years ago
  
  hide -kernel-msg-key behind a proper FCLang option
  4ad4ef84
- [options] refactor unmangling options and allow unmangling even on C files · 268dec55
  Virgile Prevosto authored 3 years ago
  
  268dec55
- better test options · 855910cc
  Virgile Prevosto authored 3 years ago
  
  855910cc
- 2022 headers · ba09dd24
  Virgile Prevosto authored 3 years ago
  
  ba09dd24
- [C translation] preliminary options for obtaining reparseable output · 812a7bc4
  Virgile Prevosto authored 3 years ago
  
  812a7bc4
- [tests] prepare test for reparsing C output · 3a8151b5
  Virgile Prevosto authored 3 years ago
  
  3a8151b5
- Merge branch 'feature/llvm-13' into 'stable/chromium' · 8448b160
  Virgile Prevosto authored 3 years ago
  
  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 3 years ago
  
  Support for OCaml 4.13 See merge request frama-c/frama-clang!164
  b98c817b
Feb 07, 2022
- [tests] remove incorrect spec from tests/val_analysis/result.cc · 4adb38ee
  Virgile Prevosto authored 3 years ago
  
  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 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
Feb 04, 2022
- [Makefile] ensures gen_ast.cmi is compiled before compiling implementation · 56413a5c
  Virgile Prevosto authored 3 years ago
  
  56413a5c
- OCaml 4.13 compatibility · a82ea2be
  Virgile Prevosto authored 3 years ago
  
  a82ea2be
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
  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