Commits · a536e84733017031351895e3085868d93d802260 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 04, 2021
- [reference-config] add coq version (required for make wp-qualif) · a536e847
  Virgile Prevosto authored 3 years ago
  
  a536e847
- [reference-config] prefer lablgtk3 over lablgtk2 · 57aca75f
  Virgile Prevosto authored 3 years ago
  
  57aca75f
- typo · b570d410
  Virgile Prevosto authored 3 years ago
  
  b570d410
- [INSTALL] more updates for opam 2.1.0 + fixes Frama-C version number · 3214042d
  Virgile Prevosto authored 3 years ago
  
  3214042d
- Update installation instructions for opam 2.1.0 · c122f58e
  Virgile Prevosto authored 3 years ago
  
  depext is now bundled in opam directly. Explicit installation instructions are kept for reference.
  c122f58e
Nov 02, 2021
- Merge branch 'feature/andre/libc-stdatomic' into 'stable/chromium' · 5088d20c
  Valentin Perrelle authored 3 years ago
  
  Feature/andre/libc stdatomic See merge request frama-c/frama-c!2203
  5088d20c
- [libc] add experimental support for <stdatomic.h> · 4ad5aad6
  Andre Maroneze authored 6 years ago and Valentin Perrelle committed 3 years ago
  
  4ad5aad6
- [Cabs2cil] fix spurious warning with valid volatile-related call · 33e7b1e2
  Andre Maroneze authored 6 years ago and Valentin Perrelle committed 3 years ago
  
  33e7b1e2
Oct 29, 2021
- Merge branch 'feature/andre/kernel-wkey-asm' into 'stable/chromium' · 7c1c82e9
  Virgile Prevosto authored 3 years ago
  
  [Kernel] add wkey for assembly warnings See merge request frama-c/frama-c!3371
  7c1c82e9
Oct 28, 2021
- Merge branch 'feature/chromium/Changelog' into 'stable/chromium' · c1c3c702
  Virgile Prevosto authored 3 years ago
  
  Changelog See merge request frama-c/frama-c!3427
  c1c3c702
- Changelog · 9c950895
  Virgile Prevosto authored 3 years ago
  
  9c950895
- [kernel] change warn key for asm clobber warning · 80d07899
  Virgile Prevosto authored 3 years ago
  
  80d07899
- [Kernel] add wkey for assembly warnings · 993bb693
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  993bb693
- Merge branch '722-volatile-read-const-volatile-variables' into 'stable/chromium' · 4bba8bc0
  Virgile Prevosto authored 3 years ago
  
  Resolve "[volatile] read const volatile variables" See merge request frama-c/frama-c!2426
  4bba8bc0
- Merge branch 'feature/wp/terminate-terminates' into 'stable/chromium' · 6a1aa1a9
  Allan Blanchard authored 3 years ago
  
  Terminate the support of terminates (almost) See merge request frama-c/frama-c!3429
  6a1aa1a9
- [ACSL] fix error message in volatile · 08ace620
  Virgile Prevosto authored 3 years ago
  
  - use of cannot is apparently preferred over can not - hov box without formatting hints is useless. Besides, opening an inner box very late on the line is usually not a good idea.
  08ace620
- [kernel/volatile] can not write to volatile const · 3e74241c
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 3 years ago
  
  3e74241c
- [kernel/volatile] better handling of const · 02306a1e
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 3 years ago
  
  02306a1e
- [wp] fix some doc typos · 72b2afe0
  Loïc Correnson authored 3 years ago and Allan Blanchard committed 3 years ago
  
  72b2afe0
- [wp/doc] Adds @decreases category · 2fe23523
  Allan Blanchard authored 3 years ago
  
  2fe23523
- [wp/doc] Document terminates support · 36126508
  Allan Blanchard authored 3 years ago
  
  36126508
- [wp] Consider that builtins terminate · f68e12f7
  Allan Blanchard authored 3 years ago
  
  f68e12f7
- [wp] Check decreases for terminates on clusters · 4ee990bf
  Allan Blanchard authored 3 years ago
  
  4ee990bf
- [wp] Register dependencies for terminates · 5da46e2c
  Allan Blanchard authored 3 years ago
  
  5da46e2c
- [wp/doc] Adds @terminates category in -wp-prop doc · 6583e496
  Allan Blanchard authored 3 years ago
  
  6583e496
- Merge branch 'fix/ivette-ci' into 'stable/chromium' · a7f2b4d3
  Patrick Baudin authored 3 years ago
  
  [ci] Fixes the node version used by the gitlab continuous integration. See merge request frama-c/frama-c!3430
  a7f2b4d3
- [ci] Fixes the node version used by the gitlab continuous integration. · 311cb4f8
  David Bühler authored 3 years ago
  
  311cb4f8
Oct 27, 2021
- Merge branch 'feature/andre/new-dockerfile' into 'stable/chromium' · 176a7f90
  Virgile Prevosto authored 3 years ago
  
  [Dev] add new generic Dockerfile, based on Alpine See merge request frama-c/frama-c!3219
  176a7f90
- [docker] workaround against docker bug https://github.com/moby/moby/issues/37965 · 3858824d
  Virgile Prevosto authored 3 years ago
  
  3858824d
- Merge branch 'fix/eva/changelog' into 'stable/chromium' · 2557939d
  Valentin Perrelle authored 3 years ago
  
  [Eva] Retroactively updates the Changelog for Eva. See merge request frama-c/frama-c!3428
  2557939d
- [Dev] add release target and update instructions · b0ab7c26
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  b0ab7c26
- [Dev] use new Dockerfile, based on Alpine, and restructure old Dockerfiles · 57265efe
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  57265efe
Oct 26, 2021
- Merge branch 'feature/variadic/printf-wo-cst-fmt' into 'stable/chromium' · 44b17fc3
  Valentin Perrelle authored 3 years ago
  
  let variadic infer specs even if format string is not statically known See merge request frama-c/frama-c!3317
  44b17fc3
- [Eva] Fixes Changelog. · 3a927560
  David Bühler authored 3 years ago
  
  3a927560
- update oracles · 6cf8bb47
  Virgile Prevosto authored 3 years ago
  
  6cf8bb47
- [Eva] Retroactively updates the Changelog for Eva. · efd56e21
  David Bühler authored 3 years ago
  
  efd56e21
- lint · 82f2aaae
  Virgile Prevosto authored 3 years ago
  
  82f2aaae
- [variadic] better warnings for conversion string inference · f4e9f845
  Virgile Prevosto authored 3 years ago
  
  f4e9f845
- [variadic] syntax linting · 8a9ef8d9
  Virgile Prevosto authored 3 years ago
  
  8a9ef8d9
- [variadic] fix warning msg and update oracles · 3bb7cf01
  Virgile Prevosto authored 3 years ago
  
  3bb7cf01