Commits · e49a107329104094273e3a401e746a26abb15192 · pub / Frama Clang

Apr 04, 2022
- [ir2cabs] systematically use mk_int64_cst for translating integer constants · e49a1073
  Virgile Prevosto authored 2 years ago
  
  e49a1073
- [ir2cabs] fix conversion of negative integer constants · 8ec33c82
  Virgile Prevosto authored 2 years ago
  
  8ec33c82
- [tests] update wp-cache · e390eaa0
  Virgile Prevosto authored 2 years ago
  
  e390eaa0
Feb 16, 2022
- Merge branch 'feature/allow-demangling-c-files' into 'stable/chromium' · a2ec42f4
  Michele Alberti authored 3 years ago
  
  Support for editing the translated C file and keeping demangling options afterwards See merge request frama-c/frama-clang!166
  a2ec42f4
- Apply suggestions from review · c3fd6db0
  Michele Alberti authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  c3fd6db0
- Merge branch 'feature/msvc' into 'stable/chromium' · c0dd6c74
  Michele Alberti authored 3 years ago
  
  [machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C See merge request frama-c/frama-clang!165
  c0dd6c74
Feb 15, 2022
- [machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C · 6617188a
  Virgile Prevosto authored 3 years ago
  
  6617188a
Feb 14, 2022
- [options] -cxx-parseable-output implies no unmangling · 51c3bfce
  Virgile Prevosto authored 3 years ago
  
  51c3bfce
- [doc] update README for new options · c6d8f3af
  Virgile Prevosto authored 3 years ago
  
  c6d8f3af
- [doc] update userman version numbers and LaTeX class · 189169af
  Virgile Prevosto authored 3 years ago
  
  189169af
- [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
  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