Commits · 36dcd26b06dd37541284c3f6870c70bc2ba357bc · pub / frama-c · GitLab

Snippets Groups Projects

Jan 31, 2025

[ci] Change scale of coverage · 36dcd26b

Basile Desloges authored 1 month ago

Keep 4 decimal digits for the coverage to better see changes in the
mountain of code.

36dcd26b

Jan 30, 2025
- [ci] add missing OCaml versions config · 14ab3491
  Allan Blanchard authored 1 month ago
  
  14ab3491
Jan 24, 2025
- [nix] change pkg name: swiProlog -> swi-prolog · 81d727d4
  Allan Blanchard authored 2 months ago
  
  81d727d4
- [nix] fix internal tests wrt to Frama-Clang · 94335cec
  Allan Blanchard authored 2 months ago
  
  94335cec
- [nix] update packages · 507d9c92
  Allan Blanchard authored 2 months ago
  
  - upgrade camlp5 to 8.03.01 (OCaml 5.3 compatibility) - upgrade mlmpfr + patch 5.3 (Werror in Nix) - downgrade dolmen (Alt-Ergo) - upgrade ppxlib_jane (Alt-Ergo) - upgrade ppxlib (OCaml 5.3 compatibility)
  507d9c92
- [Dev] add Cram tests to 'make default-tests' and generalize nix cram testing · 6b46bb58
  Andre Maroneze authored 2 months ago
  
  6b46bb58
- [nix] update commit · 72aa0d50
  Allan Blanchard authored 2 months ago
  
  72aa0d50
Jan 16, 2025
- Update headers to 2025 · 0d9cf882
  Thibault Martin authored 2 months ago
  
  0d9cf882
Jan 13, 2025

[ci] Add patchShebang to frama-c.nix · 672e5859

Basile Desloges authored 2 months ago

The script `ivette/api.sh` with a shebang is run when building Frama-C
so a call to `patchShebang` in `frama-c.nix` is necessary so that the
shebang in the script is correctly handled by Nix in all cases.

672e5859

Dec 16, 2024
- [wp] Upgrade to Why3 1.8 · 1c81259a
  Loïc Correnson authored 3 months ago
  
  1c81259a
Dec 02, 2024
- [nix] upgrade package descriptions · d391280b
  Loïc Correnson authored 6 months ago
  
  d391280b
Oct 04, 2024
- [ci] Add Frama-Clang and Minimal to internal plugin tests · 6244931a
  Thibault Martin authored 5 months ago
  
  6244931a
Sep 13, 2024
- [ivette] remove check API · b26d3f8d
  Allan Blanchard authored 6 months ago
  
  b26d3f8d
- [nix] clean files · f2c9feae
  Allan Blanchard authored 6 months ago
  
  f2c9feae
Sep 11, 2024
- [nix] add dependencies for internal tests · a0efa11c
  Allan Blanchard authored 6 months ago
  
  a0efa11c
Sep 09, 2024
- [ci] add jq as dependencies and refine MdR's libc test dependencies · b2135f09
  Virgile Prevosto authored 6 months ago
  
  b2135f09
- [ci] install check-jsonschema to validate sarif output · 0ef34eb0
  Virgile Prevosto authored 6 months ago
  
  0ef34eb0
Aug 08, 2024
- Minimal OCaml is now 4.14 · b0e55c91
  Allan Blanchard authored 7 months ago
  
  - moves default CI to 4.14 - add 5.2 to CI
  b0e55c91
Aug 07, 2024
- [nix] upgrade camlp5 for OCaml 5.2 · 9d236f82
  Allan Blanchard authored 7 months ago
  
  9d236f82
Aug 05, 2024
- [tests] remove unused files, move and clean up some tests · 2cf35964
  Andre Maroneze authored 7 months ago and David Bühler committed 7 months ago
  
  2cf35964
Aug 02, 2024
- [nix] coverage workspace file: absolute path · 284bb307
  Allan Blanchard authored 8 months ago and Andre Maroneze committed 7 months ago
  
  284bb307
- [tests] add misc cram tests to nix rule · 610e2646
  Allan Blanchard authored 8 months ago and Andre Maroneze committed 7 months ago
  
  610e2646
Jul 31, 2024
- [nix] remove packages whose default is now OK · ec7e0467
  Allan Blanchard authored 7 months ago
  
  ec7e0467
- [nix] Why3: remove coq support · fc4ea360
  Allan Blanchard authored 7 months ago
  
  fc4ea360
- [ci] tries to fix coq version · 5019a427
  Virgile Prevosto authored 7 months ago and Allan Blanchard committed 7 months ago
  
  5019a427
- [nix] clang_11 has been removed from recent nixpkgs · 680975db
  Virgile Prevosto authored 7 months ago and Allan Blanchard committed 7 months ago
  
  680975db
- [ci] bump nixpkgs version for llvm-18 and frama-clang · 824ce306
  Virgile Prevosto authored 7 months ago and Allan Blanchard committed 7 months ago
  
  824ce306
Jul 23, 2024
- [nix] fail when creating wp-cache fails · d3db066f
  Allan Blanchard authored 8 months ago
  
  d3db066f
Jun 17, 2024
- [region] adding tests · dfe65094
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  dfe65094
May 30, 2024
- [Eva] Generate the API using OCaml instead of bash · 4d25fa59
  Valentin Perrelle authored 9 months ago and David Bühler committed 9 months ago
  
  4d25fa59
May 13, 2024
- [ci] E-ACSL tests are not allowed to fail anymore · 4efc4e43
  Allan Blanchard authored 10 months ago and Thibault Martin committed 10 months ago
  
  4efc4e43
Apr 25, 2024
- Update headers to 2024 · ed0f43a4
  Thibault Martin authored 11 months ago and Virgile Prevosto committed 11 months ago
  
  ed0f43a4
Apr 19, 2024
- [CI] CI now checks that existing machdeps are conforming to the schema · 2437d82a
  Virgile Prevosto authored 11 months ago
  
  2437d82a
Apr 05, 2024
- [kernel] drop ppx_import dependency · edfab802
  Allan Blanchard authored 11 months ago
  
  edfab802
Apr 04, 2024
- [wp] Bump dependencies · 6ab2186a
  Allan Blanchard authored 11 months ago
  
  - Why3 moves to 1.7.1 - Alt-Ergo moves to 2.5.3
  6ab2186a
Mar 11, 2024
- [ci] add version for OCaml 5.1 for addtionnal pipelines · f6a14e88
  Allan Blanchard authored 1 year ago
  
  f6a14e88
- [nix] upgrade dependencies · 288224e3
  Allan Blanchard authored 1 year ago
  
  - odoc -> 2.4.1 - ppxlib -> 0.32.0
  288224e3
- [nix] update commit · 8f6fa487
  Allan Blanchard authored 1 year ago
  
  - remove useless packages - fix deprecated symbol - add export for disabling store mangling
  8f6fa487
Mar 06, 2024
- [ci] add additional archs targets · eac2e6e7
  Allan Blanchard authored 1 year ago
  
  - macOS x86 - macOS ARM64 - linux ARM64
  eac2e6e7
Jan 23, 2024
- [nix] added cvc4 to wp-proofs config · 442b0841
  Loïc Correnson authored 1 year ago
  
  442b0841