Commits · 8db4069cb5edfad4f7ba5247e1fee5399dcbba8f · pub / frama-c · GitLab

Snippets Groups Projects

Jan 11, 2023
- [install] allows to use FRAMAC_INSTALLDIR when PREFIX is undefined · 78accc93
  Patrick Baudin authored 2 years ago
  
  78accc93
Jan 09, 2023
- [analysis-scripts] fix several typing errors and warnings · eb33291d
  Andre Maroneze authored 2 years ago
  
  eb33291d
Jan 06, 2023
- [analysis-scripts] add type annotations in Python scripts · b141c03e
  Andre Maroneze authored 2 years ago
  
  b141c03e
Dec 16, 2022
- [make] less verbose installation for dev tools · ec6db494
  Allan Blanchard authored 2 years ago
  
  ec6db494
- [install] Changes dev tools management · c2acbd20
  Allan Blanchard authored 2 years ago
  
  - installation via the makefile - opam packages for dependencies
  c2acbd20
Dec 09, 2022
- [Makefile] Makes the default-tests target less verbose. · 70cb5dd0
  David Bühler authored 2 years ago
  
  70cb5dd0
Nov 02, 2022
- [lint] Makefile targets coherent with headers · 5de8d26e
  Allan Blanchard authored 2 years ago
  
  5de8d26e
Oct 27, 2022
- [lint/headers] fix makefile · e2bd1784
  Allan Blanchard authored 2 years ago
  
  e2bd1784
- [lint/headers] new commit hook · 0f569b07
  Allan Blanchard authored 2 years ago
  
  0f569b07
- [lint/headers] simpler Makefiles · 876a73da
  Allan Blanchard authored 2 years ago
  
  876a73da
- [lint] fix typo in amend · cf3b0ce8
  Allan Blanchard authored 2 years ago
  
  cf3b0ce8
Oct 20, 2022
- [doc] cont'd INSTALL.md · e1150d4b
  Allan Blanchard authored 2 years ago
  
  e1150d4b
Oct 19, 2022
- [makefile] added doc target · 05f8f3cd
  Loïc Correnson authored 2 years ago
  
  Also: merged Makefile.serverdoc into Makefile.documentation
  05f8f3cd
- [makefile] adding feedback · 37812819
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  37812819
- [makefile] use PREFIX and OPAM_SWITCH_PREFIX · 071f3e06
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  071f3e06
- [build] make install: replaces environment variable INSTALLDIR by PREFIX. · 3a167d94
  David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago
  
  This is more coherent with `dune install --prefix` option and other targets `make install` in doc and ivette Makefiles.
  3a167d94
- [doc] remove old files · 4be98493
  Allan Blanchard authored 2 years ago
  
  4be98493
- Excludes some files from the distributed archive. · 7feb44b3
  David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago
  
  7feb44b3
Oct 11, 2022
- [ci] generate server doc · dc4303c4
  Allan Blanchard authored 2 years ago
  
  dc4303c4
Oct 10, 2022
- [server] restored make server-doc · df9527a4
  Loïc Correnson authored 2 years ago
  
  df9527a4
Oct 04, 2022
- [libc] Frama-C builtins have attribute fc_builtin · 61ba9c2f
  Allan Blanchard authored 2 years ago and Virgile Prevosto committed 2 years ago
  
  61ba9c2f
Sep 29, 2022
- cleanup: remove obsolete files · abc99a54
  Andre Maroneze authored 2 years ago
  
  abc99a54
- [libc] assert terminates · b94715f4
  Allan Blanchard authored 3 years ago and Patrick Baudin committed 2 years ago
  
  b94715f4
- [tests] Fixes make wrapper test · e8b0b40f
  Allan Blanchard authored 3 years ago and Patrick Baudin committed 2 years ago
  
  e8b0b40f
- [Makefile] Removes some warning for non git repository · 0f68d378
  Patrick Baudin authored 2 years ago
  
  0f68d378
Sep 21, 2022
- [Analysis-scripts] move scripts to libexec/lib section · f285b47b
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  f285b47b
- [install] emacs files · 60f0ee34
  Allan Blanchard authored 2 years ago
  
  60f0ee34
- [install] fix autocomplete install · f7ba2921
  Allan Blanchard authored 2 years ago
  
  f7ba2921
Sep 20, 2022
- [scripts] ensures $@/running gets erased even when Frama-C calls fails · add49967
  Virgile Prevosto authored 2 years ago
  
  add49967
Sep 15, 2022
- [fc-scripts] use AST_DIFF variable to trigger incremental analysis in Eva · 01bc9ad3
  Virgile Prevosto authored 2 years ago
  
  updating parsing results is irrelevant
  01bc9ad3
- [lint] fix identification of files that have been subject to git mv · 28708f62
  Patrick Baudin authored 2 years ago
  
  28708f62
Sep 13, 2022
- [script] initial attempt at making use of ast diff info in %.eva computation · 1fbc38d4
  Virgile Prevosto authored 2 years ago
  
  1fbc38d4
Sep 12, 2022
- [Doc] document -ast-diff in manpage, userman, analysis.mk · 86b6fa5c
  Andre Maroneze authored 2 years ago
  
  86b6fa5c
- [fc-scripts] Add target for launching ivette in analysis.mk · 002c4692
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 2 years ago
  
  002c4692
- [fc-scripts] %.parse rule can use -ast-diff if user wishes so · 79fba33e
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 2 years ago
  
  79fba33e
- [headers] better info message on checked headers in presence of renaming · 1db8374f
  Virgile Prevosto authored 2 years ago
  
  1db8374f
- [headers] fix identification of files that have been subject to git mv · b908d490
  Virgile Prevosto authored 2 years ago
  
  b908d490
Sep 09, 2022
- [Eva] minimize warnings when using watchpoints · 8086aa17
  Andre Maroneze authored 2 years ago
  
  8086aa17
Sep 08, 2022
- [tests] add 'default-tests' target to only run default config tests · 119e0065
  Andre Maroneze authored 2 years ago
  
  119e0065
Aug 25, 2022
- [Makefile] export WP cache-relates Makefile variables to commands · 1731e5c0
  Virgile Prevosto authored 2 years ago
  
  1731e5c0