Commits · 45f24376d8eec4e563ceaefec87cae20647f87e1 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 09, 2021
- Update nix/frama-ci.* · 45f24376
  Basile Desloges authored 3 years ago
  
  45f24376
Apr 06, 2021
- Update nix/frama-ci.* · 332156a9
  Virgile Prevosto authored 3 years ago
  
  332156a9
Apr 02, 2021
- Update nix/frama-ci.* · d0b3f079
  Virgile Prevosto authored 3 years ago
  
  d0b3f079
Apr 01, 2021
- Update nix/frama-ci.* · c9558d51
  Virgile Prevosto authored 4 years ago
  
  c9558d51
Mar 31, 2021
- Update nix/frama-ci.* · 410741ff
  Virgile Prevosto authored 4 years ago
  
  410741ff
- Update nix/frama-ci.* · 9e8debe7
  Virgile Prevosto authored 4 years ago
  
  9e8debe7
- make nix attributes in default.nix extensible · 81f3abaf
  Virgile Prevosto authored 4 years ago
  
  81f3abaf
Feb 17, 2021
- Update nix/frama-ci.* · 2fd32d15
  Virgile Prevosto authored 4 years ago
  
  2fd32d15
- [ci] use master branch of Frama-CI following merge · 3085bfa0
  Virgile Prevosto authored 4 years ago
  
  3085bfa0
Feb 16, 2021
- [ci] add missing dependency to lint target · 7325f5b3
  Virgile Prevosto authored 4 years ago
  
  7325f5b3
- [ci] bump frama-ci rev · d5d3ffd7
  Virgile Prevosto authored 4 years ago
  
  d5d3ffd7
- [ci] update frama-ci revision · 73cf78a5
  Virgile Prevosto authored 4 years ago
  
  73cf78a5
- [ci] rely on distributed headache, not internal one. · 5725a12c
  Virgile Prevosto authored 4 years ago
  
  5725a12c
Jan 28, 2021
- [ci] add opam packages for compiling MdR within CI · d730a4ac
  Virgile Prevosto authored 4 years ago
  
  d730a4ac
Oct 13, 2020
- [Nix] Setup WP+Why3 related variables in internal · aab723b0
  Allan Blanchard authored 4 years ago
  
  aab723b0
Oct 12, 2020
- [nix] add Zmq to default OPAM packages · a7f3e514
  Loïc Correnson authored 4 years ago
  
  a7f3e514
Oct 07, 2020
- [wp] fix why3 config in gitlab-ci · ca93e2f0
  Loïc Correnson authored 4 years ago
  
  ca93e2f0
- Update nix/frama-ci.* · 4c7b67b0
  Loïc Correnson authored 4 years ago
  
  4c7b67b0
Oct 06, 2020
- [ci] add Aoraï's test config 'prove' to the CI (allowing failure for now) · 8ff99de4
  Virgile Prevosto authored 4 years ago
  
  8ff99de4
Oct 02, 2020
- [nix] use why3 config --detect · 754c6280
  Loïc Correnson authored 4 years ago
  
  754c6280
- [nix] trying alt-ergo 2.2.0 · ca455378
  Loïc Correnson authored 4 years ago
  
  ca455378
- [nix] put alt-ergo in default packages · 9fcf5eff
  Loïc Correnson authored 4 years ago
  
  9fcf5eff
- [nix] downgrade alt-ergo to 2.3.1 · 031f218c
  Loïc Correnson authored 4 years ago
  
  031f218c
- Update nix/frama-ci.* · 733b9109
  Loïc Correnson authored 4 years ago
  
  733b9109
- [nix] update alt-ergo version · 6913a1d0
  Loïc Correnson authored 4 years ago
  
  6913a1d0
- [nix] fix opam version for dune and camlzip · 014e8c47
  Loïc Correnson authored 4 years ago
  
  014e8c47
- [nix] fix coq version to 8.12.0 · 4eccaa1d
  Loïc Correnson authored 4 years ago
  
  4eccaa1d
- Update nix/frama-ci.* · 49bb5026
  François Bobot authored 4 years ago
  
  49bb5026
Sep 22, 2020
- [nix] update opam repo · cc89afcf
  Loïc Correnson authored 4 years ago
  
  cc89afcf
- [wp] update nix settings · 125e51d6
  Loïc Correnson authored 4 years ago
  
  125e51d6
Sep 17, 2020
- Update nix/frama-ci.* · 63289038
  Virgile Prevosto authored 4 years ago and Allan Blanchard committed 4 years ago
  
  (cherry picked from commit 4df7a8d6) (cherry picked from commit 8bd2c0f8e3852fc4a4c02036d7f496746de2f9bf)
  63289038
Sep 10, 2020
- Update nix/frama-ci.* · 4df7a8d6
  Virgile Prevosto authored 4 years ago
  
  4df7a8d6
Sep 04, 2020
- [CI] Try to remove frama_c_clang from internal · ad737cbd
  François Bobot authored 4 years ago
  
  ad737cbd
Aug 27, 2020
- Update nix/frama-ci.* · a25b9f04
  Virgile Prevosto authored 4 years ago
  
  a25b9f04
- add instructions for testing MetACSL in CI · 297b6a45
  Virgile Prevosto authored 4 years ago
  
  297b6a45
Aug 26, 2020
- Update nix/frama-ci.* · 36bf7540
  Virgile Prevosto authored 4 years ago
  
  36bf7540
Aug 25, 2020
- [CI] Fix internal · c0c0e17e
  François Bobot authored 4 years ago
  
  c0c0e17e
- [CI] Fix internal · 7c74bbc4
  François Bobot authored 4 years ago
  
  7c74bbc4
Aug 21, 2020
- [CI] Fix frama-clang in internal · 07211ca8
  François Bobot authored 4 years ago
  
  07211ca8
Aug 07, 2020
- Update nix/frama-ci.* · a9a5eeca
  Virgile Prevosto authored 4 years ago
  
  a9a5eeca