Commits · b87628edef49f0139ce79190b4f6bb49fc4ef4dd · pub / frama-c · GitLab

Snippets Groups Projects

Oct 06, 2021
- Update nix/frama-ci.* · b87628ed
  Virgile Prevosto authored 3 years ago
  
  b87628ed
- Update nix/frama-ci.* · 92b81446
  Virgile Prevosto authored 3 years ago
  
  92b81446
- Update nix/frama-ci.* · bf2e8ca7
  Virgile Prevosto authored 3 years ago
  
  bf2e8ca7
- Update nix/frama-ci.* · 9237bf8e
  Virgile Prevosto authored 3 years ago
  
  9237bf8e
- Update nix/frama-ci.* · dd7d524e
  Virgile Prevosto authored 3 years ago
  
  dd7d524e
- Update nix/frama-ci.* · 6226131a
  Virgile Prevosto authored 3 years ago
  
  6226131a
- Update nix/frama-ci.* · 776fe383
  Virgile Prevosto authored 3 years ago
  
  776fe383
Oct 05, 2021
- [eacsl] Add E-ACSL specific linting · 090251ba
  Basile Desloges authored 3 years ago
  
  090251ba
Sep 16, 2021
- [ci] continuous integration tests doc generation · 6bdf5874
  Virgile Prevosto authored 3 years ago
  
  6bdf5874
Sep 03, 2021
- [nix] Strict headers check · 128eab68
  Basile Desloges authored 3 years ago
  
  The warnings are treated as errors when executing `make check-headers`.
  128eab68
Aug 23, 2021
- [ci] do not assume that 'time' binary is in /usr/bin · 31117906
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  this is not the case in nix.
  31117906
- [ci] fix checkPhase script when building from tarball · 0e258f5c
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  0e258f5c
- [ci] enforce check phase in build-from-distrib-tarball derivation · 183e59a2
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  otherwise, the tests won't be run...
  183e59a2
- [ci] make tests on distributed archive. · cdcf05af
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  cdcf05af
Jul 09, 2021
- [nix] fix eva-tests · f5fd241e
  Andre Maroneze authored 3 years ago
  
  f5fd241e
Jun 23, 2021
- Update nix/frama-ci.* · bbfd55cd
  Virgile Prevosto authored 3 years ago
  
  bbfd55cd
- Update nix/frama-ci.* · a729037e
  Virgile Prevosto authored 3 years ago
  
  a729037e
Jun 02, 2021
- Update nix/frama-ci.* · bf1feec2
  Virgile Prevosto authored 3 years ago
  
  bf1feec2
- Update nix/frama-ci.* · b5ee8b95
  Virgile Prevosto authored 3 years ago
  
  b5ee8b95
- Update nix/frama-ci.* · 75d7c954
  Virgile Prevosto authored 3 years ago
  
  75d7c954
- Update nix/frama-ci.* · 28975763
  Virgile Prevosto authored 3 years ago
  
  28975763
- Update nix/frama-ci.* · 7956611a
  Virgile Prevosto authored 3 years ago
  
  7956611a
May 11, 2021
- Update nix/frama-ci.* · bb9540ee
  Virgile Prevosto authored 3 years ago
  
  bb9540ee
- Update nix/frama-ci.* · 9b392eb3
  Virgile Prevosto authored 3 years ago
  
  9b392eb3
- [nix] allow using external sources for opam2nix packages · dd6675cc
  Virgile Prevosto authored 3 years ago
  
  dd6675cc
May 06, 2021
- [nix] set correct default of ocaml argument · e7aad187
  Virgile Prevosto authored 3 years ago
  
  e7aad187
- Update nix/frama-ci.* · 27cdf30a
  Virgile Prevosto authored 3 years ago
  
  27cdf30a
- Update nix/frama-ci.* · c7c9aef0
  Virgile Prevosto authored 3 years ago
  
  c7c9aef0
May 05, 2021
- Update nix/frama-ci.* · 49ac3927
  Virgile Prevosto authored 3 years ago
  
  49ac3927
- Update nix/frama-ci.* · 397b9845
  Virgile Prevosto authored 3 years ago
  
  397b9845
- Update nix/frama-ci.* · d28baa0b
  Virgile Prevosto authored 3 years ago
  
  d28baa0b
May 04, 2021
- Update nix/frama-ci.* · 0c9381ae
  Virgile Prevosto authored 3 years ago
  
  0c9381ae
- [nix] complete extra opam-selection.nix generation · d81489f2
  Virgile Prevosto authored 3 years ago
  
  d81489f2
- Update nix/frama-ci.* · efe30d2a
  Virgile Prevosto authored 3 years ago
  
  efe30d2a
- Update nix/frama-ci.* · 46a28669
  Virgile Prevosto authored 3 years ago
  
  46a28669
- [CI] Minor change for Eva alternative configs. · 271573dc
  David Bühler authored 3 years ago
  
  271573dc
- [CI] add pipeline stage for Eva alternative configs; improve vtests script · 9b95c125
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  9b95c125
Apr 27, 2021
- Update nix/frama-ci.* · 8ba5843f
  Virgile Prevosto authored 3 years ago
  
  8ba5843f
Apr 26, 2021
- Update nix/frama-ci.* · 03e94584
  Virgile Prevosto authored 3 years ago
  
  03e94584
- Update nix/frama-ci.* · 656d32db
  Virgile Prevosto authored 3 years ago
  
  656d32db