Commits · 4bf13fa5d8b32acfbd769256212a2b24678bd52d · pub / Frama Clang · GitLab

Snippets Groups Projects

Jun 19, 2024
- [conversion] C++ classes can live inside extern "C" context · 4bf13fa5
  Virgile Prevosto authored 1 year ago
  
  4bf13fa5
- [ir2cabs] use wchar_t also in ACSL++ translation · 8ae74828
  Virgile Prevosto authored 1 year ago
  
  8ae74828
- [ir2cabs] define wchar_t in C when it appears in C++ code · 2b2c9577
  Virgile Prevosto authored 1 year ago
  
  2b2c9577
- Removes loop pragma WIDEN_VARIABLES and WIDEN_HINTS. · b15fe76f
  David Bühler authored 11 months ago and Virgile Prevosto committed 9 months ago
  
  b15fe76f
- Use new Current_loc mechanism to set loc locally · 2271f156
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  2271f156
- [kernel] Update for compatibility with new Current_loc API · 49f3119a
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  49f3119a
- sync with frama-c/frama-c!4310 · acfb70a1
  Andre Maroneze authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  acfb70a1
- [nix] changes deprecated symbol · 65b21bc9
  Allan Blanchard authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  65b21bc9
- update opam file · e8bcd997
  Virgile Prevosto authored 1 year ago
  
  e8bcd997
- Update WP cache · d48dabed
  Allan Blanchard authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  d48dabed
- sync with frama-c/frama-c!4468 · 21aebb99
  Andre Maroneze authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  21aebb99
- synchronize with frama-c/frama-c!4432 · 4682e623
  Andre Maroneze authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  4682e623
- fix typo in 'closed source' · e750ce72
  Andre Maroneze authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  e750ce72
- Remove unused Cabs construction · 99bfb060
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  99bfb060
- version bump · c0c0437a
  Virgile Prevosto authored 1 year ago
  
  c0c0437a
- Reset default branch · 93decece
  Andre Maroneze authored 1 year ago and Virgile Prevosto committed 9 months ago
  
  93decece
Mar 25, 2024
- update userman · aa5095ca
  Virgile Prevosto authored 1 year ago
  
  aa5095ca
Mar 19, 2024
- [ci] explicitly add needed packages for nix release target · 4c406b61
  Virgile Prevosto authored 1 year ago
  
  0.0.15
  
  4c406b61
- [ci] fix typo and make check-opam a constraint on release job · c75b826c
  Virgile Prevosto authored 1 year ago
  
  c75b826c
- [ci] temporary variable in .gitlab-ci.yml to select appropriate Frama-CI's branch · d7c1b4bc
  Virgile Prevosto authored 1 year ago
  
  d7c1b4bc
Mar 18, 2024
- Changelog · 1cdb7ba2
  Virgile Prevosto authored 1 year ago
  
  1cdb7ba2
Mar 15, 2024
- [tests] filter msg differences between clang 17 and older · 2dbca143
  Virgile Prevosto authored 1 year ago
  
  2dbca143
- [clang] fix ghost support in clang 17 · 36dc6dcb
  Virgile Prevosto authored 1 year ago
  
  36dc6dcb
- [clang] Preliminary support for clang 17 · b6d5ff18
  Virgile Prevosto authored 1 year ago
  
  b6d5ff18
Mar 14, 2024
- [CI] favor https instead of ssh access for external git repos · 9e270c09
  Virgile Prevosto authored 1 year ago
  
  9e270c09
- [CI] preparing CI release targets · 23bb20ba
  Virgile Prevosto authored 1 year ago
  
  23bb20ba
Mar 12, 2024
- [opam] add missing dependency · 19f5c4b8
  Virgile Prevosto authored 1 year ago
  
  19f5c4b8
Mar 08, 2024
- [release] update fclang version in .opam · 971d5642
  Virgile Prevosto authored 1 year ago
  
  971d5642
- [CI] allow ci.sh to use a local Frama-CI repo · f4100f31
  Virgile Prevosto authored 1 year ago
  
  f4100f31
- [ci] prepare release target · 31d5f691
  Virgile Prevosto authored 1 year ago
  
  31d5f691
- .gitattributes · d85046d4
  Virgile Prevosto authored 1 year ago
  
  d85046d4
Mar 07, 2024
- Preparing the release · 112cd20d
  Virgile Prevosto authored 1 year ago
  
  112cd20d
Mar 06, 2024
- Merge branch 'fix/virgile/mixed-c-cxx-link' into 'stable/nickel' · 2a3b4fb3
  Andre Maroneze authored 1 year ago
  
  Fix context for global ghost declaration See merge request frama-c/frama-clang!227
  2a3b4fb3
Feb 29, 2024
- [ir2cabs] better handling of class name conversions · 3b770063
  Virgile Prevosto authored 1 year ago
  
  3b770063
- [conversion] C++ classes can live inside extern "C" context · c353e3ca
  Virgile Prevosto authored 1 year ago
  
  c353e3ca
Feb 28, 2024
- [tests] new test reproducing extern C issue · e036cf86
  Virgile Prevosto authored 1 year ago
  
  e036cf86
Feb 23, 2024
- [ir2cabs] emulate and/or normalization done by FC's own ACSL parser · 1f8a287f
  Virgile Prevosto authored 1 year ago
  
  See frama-c/frama-c#1364
  1f8a287f
Feb 22, 2024
- [clang2ir] if user wants to have useless casts in ACSL, do not remove them · 86d68aa9
  Virgile Prevosto authored 1 year ago
  
  86d68aa9
- [clang2ir] do not revert list of ACSL++ predicate names · c29d01af
  Virgile Prevosto authored 1 year ago
  
  c29d01af
- [clang2ir] remove useless casts in ACSL++ translation · 7b2a0100
  Virgile Prevosto authored 1 year ago
  
  7b2a0100