Commits · 397b984548e619c038fbec2eb62b08f91ba75f64 · pub / frama-c · GitLab

Snippets Groups Projects

May 05, 2021
- 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
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
- Update nix/frama-ci.* · a8b41d3d
  Virgile Prevosto authored 3 years ago
  
  a8b41d3d
- Update nix/frama-ci.* · 1a167418
  Virgile Prevosto authored 3 years ago
  
  1a167418
- Update nix/frama-ci.* · 5a2bb16c
  Virgile Prevosto authored 3 years ago
  
  5a2bb16c
- Update nix/frama-ci.* · 8716d42a
  Virgile Prevosto authored 3 years ago
  
  8716d42a
Apr 23, 2021
- Update nix/frama-ci.* · 9cf91161
  Virgile Prevosto authored 3 years ago
  
  9cf91161
- [ci] keeps results in artifacts · 0bf0720b
  Virgile Prevosto authored 3 years ago
  
  0bf0720b
- [ci] use as primary nix target something with a gen-opam-selection attribute · 1f3ab979
  Virgile Prevosto authored 3 years ago
  
  1f3ab979
- [nix] use unique names for opam selections · 010734ee
  Virgile Prevosto authored 3 years ago
  
  avoid clash if multiple targets are built concurrently
  010734ee
- Update nix/frama-ci.* · 9f0f6158
  Virgile Prevosto authored 3 years ago
  
  9f0f6158
- Update nix/frama-ci.* · 3efd6339
  Virgile Prevosto authored 3 years ago
  
  3efd6339
Apr 22, 2021
- [nix] put opam-selection.nix in a writable directory · 2686091c
  Virgile Prevosto authored 3 years ago
  
  2686091c
Apr 20, 2021
- Update nix/frama-ci.* · 844eba01
  Virgile Prevosto authored 3 years ago
  
  844eba01
- Update nix/frama-ci.* · 7bfa51cd
  Virgile Prevosto authored 3 years ago
  
  7bfa51cd
- Update nix/frama-ci.* · 465353ce
  Virgile Prevosto authored 3 years ago
  
  465353ce
- Update nix/frama-ci.* · 6388f630
  Virgile Prevosto authored 3 years ago
  
  6388f630
- Update nix/frama-ci.* · 2f1cf2b2
  Virgile Prevosto authored 3 years ago
  
  2f1cf2b2
- Update nix/frama-ci.* · 71a6d05e
  Virgile Prevosto authored 3 years ago
  
  71a6d05e
- Update nix/frama-ci.* · 38d1424f
  Virgile Prevosto authored 3 years ago
  
  38d1424f
- Update nix/frama-ci.* · 8e744024
  Virgile Prevosto authored 3 years ago
  
  8e744024
- [nix] export mk_opam_derivations into frama-c attributes set · dc08fb3c
  Virgile Prevosto authored 3 years ago
  
  dc08fb3c
- [nix] retain old opamPackages name for better compatibility with helpers.nix · ba5d8bd5
  Virgile Prevosto authored 3 years ago
  
  ba5d8bd5
- [nix] export mk_deriv in frama-c attrset · 97984cdb
  Virgile Prevosto authored 3 years ago
  
  97984cdb
- [nix] migrating to opam2nix v1: allow derivation to add custom opam packages · c47a8581
  Virgile Prevosto authored 3 years ago
  
  c47a8581
Apr 16, 2021
- Merge branch 'fix/andre/tests-shorter-includes' into 'master' · d1905a79
  Patrick Baudin authored 3 years ago
  
  [tests] use shorter, path-independent includes See merge request frama-c/frama-c!3147
  d1905a79
- Merge branch 'fix/rte/initialized-warning' into 'master' · 29be8d32
  Julien Signoles authored 3 years ago
  
  [rte] Fixes initialization alarms See merge request frama-c/frama-c!3111
  29be8d32
- changelog · a62f7a9c
  Julien Signoles authored 3 years ago
  
  a62f7a9c
- [rte] better help message for -rte-initialized · f4f853b1
  Julien Signoles authored 3 years ago
  
  f4f853b1
- [tests] use shorter, path-independent includes · 479d3586
  Andre Maroneze authored 3 years ago
  
  479d3586
- [rte/doc] Update initialized section · 4ef0c587
  Allan Blanchard authored 3 years ago
  
  4ef0c587
- [rte] Removed -initialized-ignore, -initialized is a Kf set · 0db8f268
  Allan Blanchard authored 3 years ago
  
  0db8f268
- [rte/doc] Fixes documentation · 70f692b5
  Allan Blanchard authored 3 years ago
  
  70f692b5