Commits · a9a3244f3b6959b46c22353af6642e602a7c6ccb · pub / frama-c · GitLab

Snippets Groups Projects

Oct 08, 2024
- [doc] update release manual · 42544487
  Allan Blanchard authored 5 months ago
  
  42544487
Sep 30, 2024
- [doc] Complete doc with the extended syntax for importers · 20406d0b
  Thibault Martin authored 6 months ago
  
  20406d0b
- [doc] Uniform naming for loaders/module importers · 7007edf0
  Thibault Martin authored 6 months ago
  
  7007edf0
Sep 27, 2024
- [Eva] Creates domain log_category in functor Domain_builder.Complete. · 459b3117
  David Bühler authored 6 months ago and Andre Maroneze committed 6 months ago
  
  459b3117
- [doc] minor fixes to devman · d232d010
  Andre Maroneze authored 6 months ago
  
  d232d010
Sep 26, 2024
- fix some typos · 9e76edd6
  Andre Maroneze authored 6 months ago
  
  9e76edd6
- [doc] Update documentation for dkeys/wkeys · 3a05a5fe
  Thibault Martin authored 6 months ago and Andre Maroneze committed 6 months ago
  
  3a05a5fe
- [Eva] Fixes plevel messages in Eva user manual. · 045131d2
  David Bühler authored 6 months ago
  
  045131d2
Sep 18, 2024
- [dev] suggested changes · 3d0d4411
  Loïc Correnson authored 6 months ago
  
  3d0d4411
Sep 17, 2024
- [userman] typos and listings style · d3f6584a
  Virgile Prevosto authored 6 months ago
  
  d3f6584a
- [devman] typo, add missing index entries, use appropriate listings styles · ba4d7672
  Virgile Prevosto authored 6 months ago
  
  ba4d7672
- [devman] clarify usage of `\plugin::kw` for ACSL extensions · 09d964ac
  Virgile Prevosto authored 6 months ago
  
  09d964ac
Sep 16, 2024
- [modules] extended userman · e4edd072
  Loïc Correnson authored 7 months ago and Virgile Prevosto committed 6 months ago
  
  e4edd072
- [modules] move doc to devman · 4938f1c7
  Loïc Correnson authored 7 months ago and Virgile Prevosto committed 6 months ago
  
  4938f1c7
- [doc] fix a few typos and add a ref. to External Module paragraph · 98a3a55b
  Virgile Prevosto authored 8 months ago
  
  98a3a55b
- [userman] documenting external module extensions · 5c735edc
  Loïc Correnson authored 9 months ago and Virgile Prevosto committed 6 months ago
  
  5c735edc
- [developer] document external module importer · f77a5f68
  Loïc Correnson authored 9 months ago and Virgile Prevosto committed 6 months ago
  
  f77a5f68
Sep 13, 2024
- [Slicing] Renames option -slice-pragma into -slice-annot. · 8aa53c85
  David Bühler authored 11 months ago and Allan Blanchard committed 6 months ago
  
  As slice pragmas have been replaced by ACSL extensions.
  8aa53c85
- [Impact] Renames option -impact-pragma into -impact-annot. · b66d381e
  David Bühler authored 11 months ago and Allan Blanchard committed 6 months ago
  
  -impact-pragma remains as an invisible deprecated alias of -impact-annot.
  b66d381e
Sep 04, 2024
- [release] the installation link now targets GitLab · 06af8cc0
  Allan Blanchard authored 6 months ago
  
  06af8cc0
Aug 08, 2024
- [dune] make lang version coherent · 3222a1cf
  Allan Blanchard authored 7 months ago
  
  3222a1cf
Aug 07, 2024
- [doc] Update doc · d2903710
  Thibault Martin authored 8 months ago
  
  d2903710
Aug 02, 2024
- [doc] rewordings and improve greppability · 7c71363a
  Andre Maroneze authored 7 months ago
  
  7c71363a
- [doc] update user man about user directories · 635d9701
  Allan Blanchard authored 8 months ago and Andre Maroneze committed 7 months ago
  
  635d9701
Jul 09, 2024
- [userman] update changelog on removed options · e3a939b3
  Andre Maroneze authored 8 months ago
  
  e3a939b3
- [doc] Update user manual and man · 499b74bc
  Thibault Martin authored 8 months ago and Andre Maroneze committed 8 months ago
  
  499b74bc
- Fix typos, add Minimal in external plugin list · 5694700e
  Thibault Martin authored 9 months ago and Thibault Martin committed 8 months ago
  
  5694700e
- [doc] Update version instructions · 0d07477e
  Thibault Martin authored 9 months ago
  
  0d07477e
- [doc] Move pipeline instructions in the pipeline section · 8b7d0129
  Thibault Martin authored 9 months ago
  
  8b7d0129
- [doc] Fix some typos · b349462f
  Thibault Martin authored 10 months ago
  
  b349462f
- [doc] Only do docker section for non-beta releases · ecf00428
  Thibault Martin authored 10 months ago
  
  ecf00428
- [doc] Add notes · f4d21a2c
  Thibault Martin authored 10 months ago
  
  f4d21a2c
- [doc] Add a section for external plugins · 331a8d80
  Thibault Martin authored 10 months ago
  
  331a8d80
- [doc] Fix link placeholders · 642278be
  Thibault Martin authored 10 months ago
  
  642278be
- [doc] Use markdown code format when necessary · 64fb182c
  Thibault Martin authored 10 months ago
  
  64fb182c
- [doc] Add instructions on how to test frama-c's GUI · eb3e186e
  Thibault Martin authored 10 months ago
  
  eb3e186e
- [doc] Frama-C does not contain non-free code, this check is obsolete · 8e363ee0
  Thibault Martin authored 10 months ago
  
  8e363ee0
- [doc] Git command requires to install parallel · 0e91d400
  Thibault Martin authored 10 months ago
  
  0e91d400
- [doc] Mention to check targeted branches in release merge requests · 5b244b40
  Thibault Martin authored 10 months ago
  
  5b244b40
- [doc] Mention to not add ~beta when using set-version script · 7cbf51a0
  Thibault Martin authored 10 months ago
  
  7cbf51a0