Commits · 83cf79bd4d96be3415bd406791023ab1ae9d3311 · Stefan Gränitz / Frama Clang

Jul 06, 2021
- [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