Commits · 58a86fe4bdb68dbe54889513e9ec8e2001d56583 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 16, 2022
- [ci] fix lint target · 58a86fe4
  Allan Blanchard authored 2 years ago
  
  58a86fe4
- Merge branch 'feature/andre/dev-make-distrib-warn' into 'master' · 05da7c2e
  Allan Blanchard authored 2 years ago
  
  [dev] make-distrib.sh: warn about uncommitted changes See merge request frama-c/frama-c!3997
  05da7c2e
Nov 15, 2022
- [dev] make-distrib.sh: warn about uncommitted changes · 366caf1c
  Andre Maroneze authored 2 years ago
  
  366caf1c
Nov 11, 2022
- [ci] missing dep on camomile in internal tests · 7af05e76
  Allan Blanchard authored 2 years ago
  
  7af05e76
- [ci] temporary fix for frama-c-lint · 84c70ae8
  Allan Blanchard authored 2 years ago
  
  84c70ae8
- Merge remote-tracking branch 'origin/stable/iron' · f82d06cb
  Allan Blanchard authored 2 years ago
  
  f82d06cb
Nov 10, 2022
- Merge branch 'feature/dev/faster-lint' into 'master' · b7fe6bfb
  Allan Blanchard authored 2 years ago
  
  Faster linter Closes #1188 See merge request frama-c/frama-c!3981
  b7fe6bfb
- Merge branch 'fix/opam/github-review' into 'stable/iron' · 83af305c
  Allan Blanchard authored 2 years ago
  
  Multiple Opam fixes See merge request frama-c/frama-c!3990
  83af305c
Nov 08, 2022
- Adds Nicolas Stouls to the authors list. · 2d632dbe
  David Bühler authored 2 years ago
  
  2d632dbe
- [opam] Removes the optional dependency to coq. · 5cd3a404
  David Bühler authored 2 years ago
  
  5cd3a404
- [opam] Removes gtk2 dependencies for macos. · 9a53ae66
  David Bühler authored 2 years ago
  
  Neither gtk2 nor gtk3 works on macos.
  9a53ae66
Nov 04, 2022
- Merge branch 'stable/iron' · 49c78843
  David Bühler authored 2 years ago
  
  49c78843
- Merge branch 'fix/gui/gtk' into 'stable/iron' · f249ada7
  Allan Blanchard authored 2 years ago
  
  [gui] Uses gtk3 rather than gtk2 when both are available. See merge request frama-c/frama-c!3992
  f249ada7
- Merge branch 'feature/andre/simplify-dockerfile' into 'stable/iron' · fa6e178a
  Allan Blanchard authored 2 years ago
  
  [Dev] simplify Dockerfile and Docker image generation; update reference-configuration.md See merge request frama-c/frama-c!3930
  fa6e178a
- [doc] update release manual for docker · f6124bdc
  Allan Blanchard authored 2 years ago
  
  f6124bdc
- [Dev] docker: fix stage numbering · 636ee7bd
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  636ee7bd
- [Dev] docker: add 'push' target for Docker Hub · 10ddbbb0
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  10ddbbb0
- [Dev] simplify Dockerfile and Docker image generation · a31419ce
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  a31419ce
- [gui] Uses gtk3 rather than gtk2 when both are available. · 745ba831
  David Bühler authored 2 years ago
  
  Do not use ocamlgraph in the GUI (via ocamlgraph.dgraph or ocamlgraph_gtk) when gtk3 is used, as it is only available in gtk2.
  745ba831
- Merge branch 'fix/userman-dune' into 'stable/iron' · 1058c461
  Allan Blanchard authored 2 years ago
  
  [doc] User manual: remove outdated documentation of configure options See merge request frama-c/frama-c!3991
  1058c461
- [opam] after GitHub opam-repo review · 32eebfe4
  Allan Blanchard authored 2 years ago
  
  - new conflicts - GTK2/3 restrictions - shows post-installation messages only on success.
  32eebfe4
Nov 03, 2022
- [doc] User manual: removes outdated documentation of configure options. · 511c7536
  David Bühler authored 2 years ago
  
  511c7536
- [doc] User manual: removes configure options. · 0666781f
  David Bühler authored 2 years ago
  
  0666781f
- Merge branch 'fix/cd/scripts' into 'stable/iron' · c66da131
  David Bühler authored 2 years ago
  
  Multiple fixes in the delivery process See merge request frama-c/frama-c!3988
  c66da131
- [ci] multiple fixes in the release process · 92f2e7eb
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  92f2e7eb
- [ci] fix src-distrib-test target · 463ad6f2
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  463ad6f2
- [ci] fix publication · 9905629f
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  9905629f
- [lint/headers] script for call · 34d32b0e
  Allan Blanchard authored 2 years ago
  
  34d32b0e
- Merge branch 'fix/release-doc' into 'stable/iron' · 3241c644
  David Bühler authored 2 years ago
  
  [doc] Minor fix to the release manual See merge request frama-c/frama-c!3986
  3241c644
- Updates development version. · de1aea03
  David Bühler authored 2 years ago
  
  de1aea03
- Reset default branch · 2a10ad8d
  David Bühler authored 2 years ago
  
  2a10ad8d
- Merge branch 'stable/iron' · 334d226e
  David Bühler authored 2 years ago
  
  334d226e
- [doc] Fixes ~ in the release manual. · 94ebe5ea
  David Bühler authored 2 years ago
  
  94ebe5ea
- [doc] Adds a minor precision to the release manual. · c83a705f
  David Bühler authored 2 years ago
  
  c83a705f
- Merge branch 'fix/ci/default-branch-iron' into 'stable/iron' · 34211744
  David Bühler authored 2 years ago
  
  Fix default branch for Iron See merge request frama-c/frama-c!3989
  34211744
- [ci] fix reference branch · b9f2b58d
  Allan Blanchard authored 2 years ago
  
  b9f2b58d
Nov 02, 2022
- Merge branch 'virgile-master-patch-21609' into 'stable/iron' · 754edd7c
  Virgile Prevosto authored 2 years ago
  
  Update Aoraï documentation See merge request frama-c/frama-c!3965
  754edd7c
- [lint] Makefile targets coherent with headers · 5de8d26e
  Allan Blanchard authored 2 years ago
  
  5de8d26e
- [lint/headers] pre-push hook · a75eee4b
  Allan Blanchard authored 2 years ago
  
  a75eee4b
- [lint/headers] fix in commit hook · 745eccbd
  Allan Blanchard authored 2 years ago
  
  745eccbd