Commits · dcd62fe5589fe9581a5081a7a29038d093cc0205 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 30, 2023
- [nix] update dependencies list · dcd62fe5
  Virgile Prevosto authored 1 year ago
  
  dcd62fe5
- more robust test for machdep generation · de6254a4
  Virgile Prevosto authored 1 year ago
  
  de6254a4
- [machdep] test generation uses a more well-supported target for clang · a21c1f0c
  Virgile Prevosto authored 1 year ago
  
  a21c1f0c
- [machdep] more useful error msgs from make_machdep script · 3e07d470
  Virgile Prevosto authored 1 year ago
  
  3e07d470
- [nix] pyaml is a required dependency for tests · 57d72f02
  Virgile Prevosto authored 1 year ago
  
  57d72f02
- [wtests] In case of wrong exit status, also output custom logs · e931ad9b
  Virgile Prevosto authored 1 year ago
  
  e931ad9b
- disable test when deps not met · 25e75633
  Virgile Prevosto authored 1 year ago
  
  25e75633
- fix oracles · 900c4d17
  Virgile Prevosto authored 1 year ago
  
  900c4d17
- [machdep] test for new fc-script command · d25748d5
  Virgile Prevosto authored 1 year ago
  
  d25748d5
- [machdep] install all machdep .c aux files together with probing script · ac97be85
  Virgile Prevosto authored 1 year ago
  
  ac97be85
- [machdep] provide new command in frama-c-script to launch make_machdep easily · 4c88c92c
  Virgile Prevosto authored 1 year ago
  
  4c88c92c
- [machdep] new option in make_machdep.py for finding the schema · cf8e20c3
  Virgile Prevosto authored 1 year ago
  
  cf8e20c3
Jun 14, 2023
- Frama-C 27.0 - Cobalt · 93a2c7dd
  Allan Blanchard authored 1 year ago
  
  View commits for tag 27.0 27.0
  
  93a2c7dd
Jun 13, 2023
- Merge branch 'fix/e-acsl/doc/refman-version' into 'stable/cobalt' · 0200410c
  Allan Blanchard authored 1 year ago
  
  [e-acsl] Refman: Version 1.19 See merge request frama-c/frama-c!4209
  0200410c
- [e-acsl] Refman: Version 1.19 · 3401578e
  Allan Blanchard authored 1 year ago
  
  3401578e
- Merge branch 'fix/opam/doc' into 'stable/cobalt' · a6b5cf31
  Allan Blanchard authored 1 year ago
  
  Generate and install documentation during opam install See merge request frama-c/frama-c!4208
  a6b5cf31
Jun 12, 2023
- [ci] opam install with doc · 954b6b8d
  Allan Blanchard authored 1 year ago
  
  954b6b8d
- [opam] opam doc install · 1f9c9440
  Allan Blanchard authored 1 year ago
  
  1f9c9440
Jun 09, 2023
- Merge branch 'fix/andre/doc-ptests' into 'stable/cobalt' · c0a5aabd
  Allan Blanchard authored 1 year ago
  
  Fix/andre/doc ptests See merge request frama-c/frama-c!4203
  c0a5aabd
- Merge branch 'feature/julien/update-e-acsl-refman' into 'stable/cobalt' · 34cc3e94
  Allan Blanchard authored 1 year ago
  
  Update e acsl refman w.r.t. ACSL v1.18 See merge request frama-c/frama-c!4205
  34cc3e94
Jun 08, 2023
- [e-acsl:refman] update w.r.t. ACSL refman v1.18 · 1b95778d
  Julien Signoles authored 1 year ago
  
  1b95778d
Jun 07, 2023
- Merge branch 'fix/cpp/clang-warn' into 'stable/cobalt' · fa73b80d
  Allan Blanchard authored 1 year ago
  
  silence clang warning for redefined macro See merge request frama-c/frama-c!4199
  fa73b80d
Jun 06, 2023
- [doc] add reference to ENABLED_IF directive in devman · cf5e4870
  Andre Maroneze authored 1 year ago
  
  cf5e4870
- [ptests] remove obsolete help message · 5eca644f
  Andre Maroneze authored 1 year ago
  
  5eca644f
Jun 05, 2023
- [ci] add clang to tests dependencies · 5318a76d
  Allan Blanchard authored 1 year ago
  
  5318a76d
Jun 02, 2023
- Apply 2 suggestion(s) to 1 file(s) · 12231700
  Michele Alberti authored 1 year ago and Virgile Prevosto committed 1 year ago
  
  12231700
- [cpp] also silence warnings on older gccs and clangs. · efefb012
  Virgile Prevosto authored 1 year ago
  
  efefb012
- [cpp] If cpp is clang, silence warning for redefined macro · e9ed9f14
  Virgile Prevosto authored 1 year ago
  
  e9ed9f14
- [tests] new test to check clang's warning has been silenced · 2559523f
  Virgile Prevosto authored 1 year ago
  
  2559523f
May 22, 2023
- Merge branch 'fix/remove-cg-gui' into 'stable/cobalt' · 5437eadb
  Virgile Prevosto authored 1 year ago
  
  [cg] removed GUI (no more GTK2) See merge request frama-c/frama-c!4194
  5437eadb
May 17, 2023
- [cg] removed GUI (no more GTK2) · 07c47f0c
  Allan Blanchard authored 1 year ago
  
  07c47f0c
May 16, 2023
- [ci] fix yaml dependency on internal tests · 2aef8ff2
  Allan Blanchard authored 1 year ago
  
  View commits for tag 27.0-beta 27.0-beta
  
  2aef8ff2
May 15, 2023
- [opam] fix Yaml minimal bound · 4efffb41
  Allan Blanchard authored 1 year ago
  
  4efffb41
- Main changes for the 27.0 Cobalt release. · e16b7b81
  Allan Blanchard authored 1 year ago
  
  e16b7b81
- [kernel] few fixes on Yaml version + Changelog · 67d806c5
  Allan Blanchard authored 1 year ago
  
  67d806c5
- Set beta · 48d43be5
  Allan Blanchard authored 1 year ago
  
  48d43be5
- Frama-C 27.0 version in files · 1c7a48ab
  Allan Blanchard authored 1 year ago
  
  1c7a48ab
- [release] fix set-version · a5536031
  Allan Blanchard authored 1 year ago
  
  a5536031
- Change default branch · b9daaa0c
  Allan Blanchard authored 1 year ago
  
  b9daaa0c
- Merge branch 'fix/update-reference-configuration' into 'master' · f2b76b83
  Allan Blanchard authored 1 year ago
  
  update reference configuration See merge request frama-c/frama-c!4075
  f2b76b83