Commits · f40084db6d09daa885bb74df5867701f21184849 · pub / meta

Sep 22, 2021
- Update nix/frama-ci.* · f40084db
  Virgile Prevosto authored 3 years ago
  
  f40084db
- Update nix/frama-ci.* · 7ae37fa8
  Virgile Prevosto authored 3 years ago
  
  7ae37fa8
- Update nix/frama-ci.* · 2d9c2913
  Virgile Prevosto authored 3 years ago
  
  2d9c2913
- Update nix/frama-ci.* · 790a9f5c
  Virgile Prevosto authored 3 years ago
  
  790a9f5c
Sep 21, 2021
- Update nix/frama-ci.* · 568505d2
  Virgile Prevosto authored 3 years ago
  
  568505d2
- Update nix/frama-ci.* · edff65d7
  Virgile Prevosto authored 3 years ago
  
  edff65d7
- Update nix/frama-ci.* · 72c8973f
  Virgile Prevosto authored 3 years ago
  
  72c8973f
- Update nix/frama-ci.* · 2681a9ab
  Virgile Prevosto authored 3 years ago
  
  2681a9ab
Jun 23, 2021
- Update nix/frama-ci.* · aba574aa
  Virgile Prevosto authored 3 years ago
  
  aba574aa
- Update nix/frama-ci.* · cae6d68e
  Virgile Prevosto authored 3 years ago
  
  cae6d68e
- Merge branch 'feature/upgrade-opam2nix' into 'master' · 56f6dd46
  Virgile Prevosto authored 3 years ago
  
  Update Frama-CI data See merge request frama-c/meta!46
  56f6dd46
Jun 03, 2021
- Merge branch 'feature/patrick/dunable-ptests' into 'master' · 5fde1564
  Virgile Prevosto authored 3 years ago
  
  [tests] using PLUGIN directive See merge request frama-c/meta!47
  5fde1564
Jun 02, 2021
- Update nix/frama-ci.* · 6a01c37d
  Virgile Prevosto authored 3 years ago
  
  6a01c37d
- Update nix/frama-ci.* · da8e43f2
  Virgile Prevosto authored 3 years ago
  
  da8e43f2
- Update nix/frama-ci.* · d02fa1da
  Virgile Prevosto authored 3 years ago
  
  d02fa1da
- Update nix/frama-ci.* · 22a9d441
  Virgile Prevosto authored 3 years ago
  
  22a9d441
- Update nix/frama-ci.* · 9fa5b6cd
  Virgile Prevosto authored 3 years ago
  
  9fa5b6cd
May 11, 2021
- Update nix/frama-ci.* · 72de0df9
  Virgile Prevosto authored 3 years ago
  
  72de0df9
- Update nix/frama-ci.* · 8d279e65
  Virgile Prevosto authored 3 years ago
  
  8d279e65
May 10, 2021
- Reset default branch · d0c75e7d
  François Bobot authored 3 years ago
  
  d0c75e7d
- Change default branch · a7f5a944
  François Bobot authored 3 years ago
  
  a7f5a944
May 06, 2021
- Update nix/frama-ci.* · 2dff27aa
  Virgile Prevosto authored 3 years ago
  
  2dff27aa
- Update nix/frama-ci.* · 9c555e46
  Virgile Prevosto authored 3 years ago
  
  9c555e46
May 05, 2021
- Update nix/frama-ci.* · bfeeebe8
  Virgile Prevosto authored 3 years ago
  
  bfeeebe8
- Update nix/frama-ci.* · 88464d5b
  Virgile Prevosto authored 3 years ago
  
  88464d5b
- Update nix/frama-ci.* · 430a2734
  Virgile Prevosto authored 3 years ago
  
  430a2734
May 04, 2021
- Update nix/frama-ci.* · d650fbf6
  Virgile Prevosto authored 3 years ago
  
  d650fbf6
- [nix] update to new interface for plug-in derivation · 93ca638c
  Virgile Prevosto authored 3 years ago
  
  93ca638c
- Update nix/frama-ci.* · 5da8ee28
  Virgile Prevosto authored 3 years ago
  
  5da8ee28
- Update nix/frama-ci.* · 139deaa2
  Virgile Prevosto authored 3 years ago
  
  139deaa2
May 01, 2021
- [tests] using PLUGIN directive · d3ad16ec
  Patrick Baudin authored 3 years ago
  
  d3ad16ec
Apr 27, 2021
- Update nix/frama-ci.* · ac8bf224
  Virgile Prevosto authored 3 years ago
  
  ac8bf224
Apr 26, 2021
- Update nix/frama-ci.* · 5b9fbdfd
  Virgile Prevosto authored 3 years ago
  
  5b9fbdfd
- Update nix/frama-ci.* · 2e8047b0
  Virgile Prevosto authored 3 years ago
  
  2e8047b0
- Update nix/frama-ci.* · c389610e
  Virgile Prevosto authored 3 years ago
  
  c389610e
- Update nix/frama-ci.* · ffe4699a
  Virgile Prevosto authored 3 years ago
  
  ffe4699a
- Update nix/frama-ci.* · f510ce5b
  Virgile Prevosto authored 3 years ago
  
  f510ce5b
- Update nix/frama-ci.* · 84cdaafc
  Virgile Prevosto authored 3 years ago
  
  84cdaafc
Apr 23, 2021
- Update nix/frama-ci.* · e2823b9d
  Virgile Prevosto authored 3 years ago
  
  e2823b9d
- Update nix/frama-ci.* · 0d2b4c55
  Virgile Prevosto authored 3 years ago
  
  0d2b4c55