Commits · 9ae1dec20461a6abb2faea38a68b68f0068f9d3b · Stefan Gränitz / Frama Clang

06 Jul, 2021 40 commits
- Update nix/frama-ci.* · 9ae1dec2
  Virgile Prevosto authored Jun 02, 2021
  
  9ae1dec2
- Update nix/frama-ci.* · a8a2e875
  Virgile Prevosto authored May 11, 2021
  
  a8a2e875
- Update nix/frama-ci.* · 68aba337
  Virgile Prevosto authored May 11, 2021
  
  68aba337
- Update nix/frama-ci.* · b6407904
  Virgile Prevosto authored May 06, 2021
  
  b6407904
- Update nix/frama-ci.* · 77690959
  Virgile Prevosto authored May 06, 2021
  
  77690959
- Update nix/frama-ci.* · 0cc813e9
  Virgile Prevosto authored May 05, 2021
  
  0cc813e9
- [nix] use default Frama-C nixpkgs version even for llvm-11 · 19f38550
  Virgile Prevosto authored May 05, 2021
  
  19f38550
- Update nix/frama-ci.* · f73100c0
  Virgile Prevosto authored May 05, 2021
  
  f73100c0
- Update nix/frama-ci.* · 8c5ee6c7
  Virgile Prevosto authored May 05, 2021
  
  8c5ee6c7
- Update nix/frama-ci.* · a0dcb530
  Virgile Prevosto authored May 04, 2021
  
  a0dcb530
- [nix] update to new interface for plug-in derivation · b456edd6
  Virgile Prevosto authored May 04, 2021
  
  b456edd6
- Update nix/frama-ci.* · 791aba1e
  Virgile Prevosto authored May 04, 2021
  
  791aba1e
- Update nix/frama-ci.* · d4a7b8d2
  Virgile Prevosto authored May 04, 2021
  
  d4a7b8d2
- Update nix/frama-ci.* · db38b9dd
  Virgile Prevosto authored Apr 27, 2021
  
  db38b9dd
- Update nix/frama-ci.* · d4359d65
  Virgile Prevosto authored Apr 26, 2021
  
  d4359d65
- Update nix/frama-ci.* · fe5172bb
  Virgile Prevosto authored Apr 26, 2021
  
  fe5172bb
- Update nix/frama-ci.* · f53bd1c0
  Virgile Prevosto authored Apr 26, 2021
  
  f53bd1c0
- Update nix/frama-ci.* · 7ffa4da8
  Virgile Prevosto authored Apr 26, 2021
  
  7ffa4da8
- Update nix/frama-ci.* · 255a3891
  Virgile Prevosto authored Apr 26, 2021
  
  255a3891
- Update nix/frama-ci.* · 20db3784
  Virgile Prevosto authored Apr 26, 2021
  
  20db3784
- Update nix/frama-ci.* · fd6a0c78
  Virgile Prevosto authored Apr 23, 2021
  
  fd6a0c78
- Update nix/frama-ci.* · e0ba6d46
  Virgile Prevosto authored Apr 23, 2021
  
  e0ba6d46
- Update nix/frama-ci.* · 7f20ebd6
  Virgile Prevosto authored Apr 23, 2021
  
  7f20ebd6
- Update nix/frama-ci.* · 3212b2c2
  Virgile Prevosto authored Apr 20, 2021
  
  3212b2c2
- Update nix/frama-ci.* · 5fbae295
  Virgile Prevosto authored Apr 20, 2021
  
  5fbae295
- Update nix/frama-ci.* · 5fa74066
  Virgile Prevosto authored Apr 20, 2021
  
  5fa74066
- Update nix/frama-ci.* · a6f88160
  Virgile Prevosto authored Apr 20, 2021
  
  a6f88160
- Update nix/frama-ci.* · 5ff43800
  Virgile Prevosto authored Apr 20, 2021
  
  5ff43800
- Update nix/frama-ci.* · 313bcc12
  Virgile Prevosto authored Apr 20, 2021
  
  313bcc12
- Update nix/frama-ci.* · 33f1940b
  Virgile Prevosto authored Apr 20, 2021
  
  33f1940b
- Update nix/frama-ci.* · 1d57a630
  Virgile Prevosto authored Apr 20, 2021
  
  1d57a630
- [nix] update to opam2nix v1 config · fae34bc0
  Virgile Prevosto authored Apr 20, 2021
  
  fae34bc0
- sync with frama-c/frama-c!3252 · 24ef4975
  Andre Maroneze authored Jun 22, 2021
  
  24ef4975
- WP now supports terminates · a45a5957
  Allan Blanchard authored Jun 03, 2021
  
  a45a5957
- [tests] using PLUGIN directive · 66133a7b
  Patrick Baudin authored May 01, 2021
  
  66133a7b
- cleanup obsolete documents · 43d6c37c
  Virgile Prevosto authored Jun 02, 2021
  
  43d6c37c
- [tests] test new feature · 2b51fac8
  Virgile Prevosto authored May 28, 2021
  
  2b51fac8
- [clang] add support for builtin __underlying_type · f9a75d22
  Virgile Prevosto authored May 28, 2021
  
  f9a75d22
- [stl] add support for is_enum and underlying_type type traits · 777cb9fc
  Virgile Prevosto authored May 28, 2021
  
  777cb9fc
- Reset default branch · 3b353b7f
  François Bobot authored May 10, 2021
  
  3b353b7f