Commits · 29f52e095f20a38f753e2c14d89a6a9219a6e8b6 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 25, 2022
- [headers] strict headers by default · 29f52e09
  Allan Blanchard authored 2 years ago
  
  29f52e09
Jul 22, 2022
- [analysis-scripts] avoid issues with non-executable scripts due to Dune · 894098a1
  Andre Maroneze authored 2 years ago
  
  894098a1
Jul 19, 2022
- [makefile] fix FRAMAC_WP_QUALIF · cd49fc09
  Patrick Baudin authored 2 years ago
  
  cd49fc09
- [makefile] fixes testing aliases when plugins are disable · 409b7f3f
  Patrick Baudin authored 2 years ago
  
  409b7f3f
- [makefile] fix FRAMAC_WP_QUALIF · 0115dbd6
  Patrick Baudin authored 2 years ago
  
  0115dbd6
- add informative messages during make install/uninstall · 686fc096
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  686fc096
Jul 18, 2022
- [makefile] fix FRAMAC_WP_QUALIF · 4134b57d
  Loïc Correnson authored 2 years ago
  
  4134b57d
- [makefile] fix counting (when none) · dffbd044
  Loïc Correnson authored 2 years ago
  
  dffbd044
Jul 12, 2022
- [LINT] adds/modifies targets related to commits · 5854b1bc
  Patrick Baudin authored 2 years ago
  
  5854b1bc
- [Lint] Adds make <lint-target>.before-push <lint-target>.before-ammend ... · 779d625e
  Patrick Baudin authored 2 years ago
  
  [Lint] Adds make <lint-target>.before-push <lint-target>.before-ammend <lint-target>.before-add <lint-target>.previous-commit
  779d625e
Jul 08, 2022
- [headers] install config · 3811327c
  Allan Blanchard authored 2 years ago
  
  3811327c
- Move ptests and hdrck to tools · 8773a75d
  Allan Blanchard authored 2 years ago
  
  8773a75d
Jul 07, 2022
- [Linting] Allows LINT_DIFF=<commit/branch> make <lint|check-xxx|fix-xxx> · 45f21d26
  Patrick Baudin authored 2 years ago
  
  45f21d26
- [Linting] fixes .lint/check-clang-format-installed target · 2209f58a
  Patrick Baudin authored 2 years ago
  
  2209f58a
Jul 05, 2022
- Check share/Makefile.config available · 4f9d9bb7
  Patrick Baudin authored 2 years ago
  
  4f9d9bb7
- [Makefile] minor changes · cd0f0074
  Patrick Baudin authored 2 years ago
  
  cd0f0074
Jul 04, 2022
- [Makefile] Cleaning share/Makefile.config.in · 161520f8
  Patrick Baudin authored 2 years ago
  
  161520f8
- [Makefile] Cleaning share/Makefile.common · fe2d2cc2
  Patrick Baudin authored 2 years ago
  
  fe2d2cc2
- [Configure] Removes Fc_config.ocaml_wflags · 1a6056c3
  Patrick Baudin authored 2 years ago
  
  1a6056c3
Jul 01, 2022
- [Makefile] testing - minor changes · 34069888
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  34069888
- [ptests] introduce PTESTS_USE_WP_CACHE · 13c4b4ec
  Allan Blanchard authored 2 years ago
  
  - used to indicate whether tests require the FRAMAC_WP_CACHEDIR variable
  13c4b4ec
- [ptests] introduce PTEST_DEPS variable · f847fdc7
  Allan Blanchard authored 2 years ago
  
  f847fdc7
- [ptests] fix Makefile ifeq · 46172e23
  Allan Blanchard authored 2 years ago
  
  46172e23
- [ptests] changes Makefile.testing variables · cf644b57
  Allan Blanchard authored 2 years ago
  
  - more intuitive name for tests directories - single way to build PTEST_ALIASES
  cf644b57
- [build] share Makefile (un)installation rules · 00452ff7
  Allan Blanchard authored 2 years ago
  
  00452ff7
- [Testing] counts the number of generated *.res.log · 83cae35a
  Patrick Baudin authored 2 years ago
  
  83cae35a
Jun 28, 2022
- [Tests] modifies the proposal related to FRAMAC_WP_CACHEDIR · b27c36e4
  Patrick Baudin authored 2 years ago
  
  b27c36e4
- [Tests] adds a fix proposal related to FRAMAC_WP_CACHEDIR · e2f7843a
  Patrick Baudin authored 2 years ago
  
  e2f7843a
- [Tests] uses offline mode for the WP cache · 7955b128
  Patrick Baudin authored 2 years ago
  
  7955b128
Jun 22, 2022
- [Makefile] conditional definition for MacOS · d7197997
  Patrick Baudin authored 2 years ago
  
  d7197997
- change 'xargs --null' -> 'xargs -0' · aa30d328
  Patrick Baudin authored 2 years ago
  
  aa30d328
Jun 20, 2022
- Removes some TABs in share/Makefile.linting · 1ab79926
  Patrick Baudin authored 2 years ago
  
  1ab79926
- Clean share/Makefile.common about FRAMAC_SRC_DIRS · c0320421
  Patrick Baudin authored 2 years ago
  
  c0320421
Jun 17, 2022
- [Lint] using CLANG_FORMAT variable · a0f971f4
  Patrick Baudin authored 2 years ago
  
  a0f971f4
- [Lint] check/fix-indent for ML,MLI,C,H files · 85498319
  Patrick Baudin authored 2 years ago
  
  85498319
- [dune] add release mode in Makefile · dda5c03e
  Allan Blanchard authored 2 years ago
  
  dda5c03e
Jun 16, 2022
- [Lint] Adds clang-format checker for E-ACSL · 5343b289
  Allan Blanchard authored 2 years ago
  
  5343b289
- [lint] minor · bc38aac9
  Patrick Baudin authored 2 years ago
  
  bc38aac9
- [Lint] using generic rules as much as possible · 8417372e
  Patrick Baudin authored 2 years ago
  
  8417372e
- [Lint] adds some clean-check-XXX targets · db7513a5
  Patrick Baudin authored 2 years ago
  
  db7513a5