Commits · 67a52f9d550869f77c3db19d83036a25e8ddce6f · Stefan Gränitz / Frama Clang

Feb 07, 2022
- [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
Oct 19, 2021
- [ci] set default branch to stable/chromium · 6962bd59
  Virgile Prevosto authored 3 years ago
  
  6962bd59
Jul 06, 2021
- Reset default branch · 3b353b7f
  François Bobot authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  3b353b7f
- Change default branch · 08fed019
  François Bobot authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  08fed019
- [ci] test against clang 11 · 83cf79bd
  Virgile Prevosto authored 4 years ago
  
  83cf79bd
- [CI] Add new test target to frama-clang pipeline. · 64cc1fb8
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  64cc1fb8
- Reset default branch · 923fb22d
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  923fb22d
- Change default branch · 17b5c31d
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  17b5c31d
- [CI] the version of nix tools have been bumped · 3c4fdb6f
  François Bobot authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  3c4fdb6f
- [CI] cleanup remnants of old attempts · 3ff66c5f
  Virgile Prevosto authored 4 years ago
  
  3ff66c5f
- [Nix] AllowUnfree for alt-ergo. · 86301a58
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  86301a58
- [Nix] Some hacking. · 6dbba25f
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  6dbba25f
- CI file updates. · 112e0b5f
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  112e0b5f
- [CI] initialization Frama-CI · 3f85af16
  François Bobot authored 5 years ago and Virgile Prevosto committed 3 years ago
  
  But with clang 3.5 instead of 3.3
  3f85af16