Commits · 31608822d9331d48802fef39898b37e1c8fa2328 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 02, 2020
- [nix] make wp-qualif actually using the cache (gloups) · 1bef44e5
  Loïc Correnson authored 4 years ago
  
  1bef44e5
May 27, 2020
- Update nix/frama-ci.* · 41758104
  Loïc Correnson authored 4 years ago
  
  41758104
May 18, 2020
- Update nix/frama-ci.* · db678407
  Loïc Correnson authored 4 years ago
  
  db678407
- [wp/nix] use global cache in CI wp-qualif · d7a55f59
  Loïc Correnson authored 4 years ago
  
  d7a55f59
- [wp/nix] use updated Frama-CI with global cache · bb5db4c9
  Loïc Correnson authored 4 years ago
  
  bb5db4c9
May 11, 2020
- [wp] fix some issues with Alt-Ergo · c5abda21
  Loïc Correnson authored 4 years ago
  
  c5abda21
May 10, 2020
- [Nix] Add which so that e-acsl can find sed · 8741df1a
  François Bobot authored 4 years ago
  
  8741df1a
May 09, 2020
- [Nix] Add which dependencies · 7ec64248
  François Bobot authored 4 years ago
  
  7ec64248
May 08, 2020
- Fix that adding alt-ergo change dependencies · 1fa2413c
  François Bobot authored 4 years ago
  
  1fa2413c
- Downgrade alt-ergo to 2.2.0 · 75120e6b
  François Bobot authored 4 years ago
  
  because 2.3.0 can't be configured without opam
  75120e6b
- [Bix] fix unneeded escaping · d64f7f73
  François Bobot authored 4 years ago
  
  d64f7f73
- Update opam2nix-package fix unbound variables · df1ce837
  François Bobot authored 4 years ago
  
  df1ce837
- Move to 20.03 · 7bdb63ed
  François Bobot authored 4 years ago
  
  7bdb63ed
May 07, 2020
- [nix] upgrade to coq 8.11.1 · 7ade3ce7
  Loïc Correnson authored 4 years ago
  
  7ade3ce7
May 02, 2020
- Fix dune version to 1.11 · 88ebb63b
  François Bobot authored 4 years ago
  
  88ebb63b
- menhir without dune · 4d7db6f2
  François Bobot authored 4 years ago
  
  4d7db6f2
- update frama-ci · 638fc50d
  François Bobot authored 4 years ago
  
  638fc50d
- Update FRama-CI version to coq with which · 5a92f019
  François Bobot authored 4 years ago
  
  5a92f019
May 01, 2020
- Try with coq 8.10.2 · 4bc015c1
  François Bobot authored 4 years ago
  
  4bc015c1
- update Frama-CI · b5cf4e57
  François Bobot authored 4 years ago
  
  b5cf4e57
- test with new coq and why3 version · 0e27ad10
  François Bobot authored 4 years ago
  
  0e27ad10
Mar 25, 2020
- [wp] update prover versions & oracles · 5b0b8ae4
  Loïc Correnson authored 5 years ago
  
  5b0b8ae4
Mar 03, 2020
- Update opam version · 4c7ab99a
  François Bobot authored 5 years ago
  
  4c7ab99a
Jan 14, 2020
- [CI] remove e-acsl standalone ci configuration · 345bb518
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  345bb518
- [CI] Add gmp dependency to e-acsl test · 8aede8aa
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  8aede8aa
Jan 13, 2020
- [CI] Move E-ACSL dev tests to frama-c configuration · 487257a1
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  487257a1
Dec 18, 2019
- E-ACSL is now in Frama-C · 91f64b75
  François Bobot authored 5 years ago
  
  91f64b75
Nov 04, 2019
- Publish master to the public repository · 70544594
  François Bobot authored 5 years ago
  
  70544594
Sep 27, 2019
- Uses ocp-indent 1.7.0 in continuous integration. · 58af647d
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  58af647d
Jul 05, 2019
- use why3 api · 310b7c9e
  François Bobot authored 5 years ago
  
  310b7c9e
Jun 07, 2019
- [Nix] Update autoPatchelf use for nixos 19.03 · b4bf4045
  François Bobot authored 5 years ago
  
  b4bf4045
Jun 06, 2019
- Update nix/frama-ci.* · c62b64cc
  François Bobot authored 5 years ago
  
  c62b64cc
May 24, 2019
- Update nix/frama-ci.* · 639a9c68
  François Bobot authored 5 years ago
  
  639a9c68
- Fix ocp-indent version in continuous intergration · 3b0301ae
  François Bobot authored 5 years ago
  
  3b0301ae
May 23, 2019
- Update nix/frama-ci.* · 082cdc65
  François Bobot authored 5 years ago
  
  082cdc65
Apr 24, 2019
- [OCI] revert pkgs.file · 466c71cc
  Patrick Baudin authored 5 years ago
  
  466c71cc
Apr 23, 2019
- [wp/why3] try why3 version 1.1.1 · 308e5da7
  Loïc Correnson authored 5 years ago
  
  308e5da7
Apr 19, 2019
- [why3] update configuration for 1.0.0+ · 8ae5d5e9
  Loïc Correnson authored 5 years ago
  
  8ae5d5e9
Apr 18, 2019
- [Nix] Export buildInputs · 6267f880
  François Bobot authored 5 years ago
  
  6267f880
- [Kernel] make yojson a mandatory dependence · 244f9a3d
  Andre Maroneze authored 6 years ago
  
  244f9a3d