Commits · 001841974a7e0441362afcb37736075550dcd9e9 · pub / frama-c · GitLab

Snippets Groups Projects

May 28, 2020
- [devman] documentation for configure_pkg macro · 3cc914a1
  Virgile Prevosto authored 4 years ago
  
  3cc914a1
May 15, 2020
- [Release] fixes to script for generating manuals · 0d5315d6
  Andre Maroneze authored 4 years ago
  
  0d5315d6
- [release] small updates to release manual · a1098b88
  Virgile Prevosto authored 4 years ago
  
  a1098b88
- [release] proposal for parallelizing build of manuals in build-manuals.sh · 3988eb1a
  Virgile Prevosto authored 4 years ago
  
  3988eb1a
- [Doc/Userman] Normalize main target name · ebf1e7a7
  Andre Maroneze authored 4 years ago
  
  ebf1e7a7
May 12, 2020
- [Doc] Fix target name in Eva manual makefile · 1520a4b2
  Andre Maroneze authored 4 years ago
  
  1520a4b2
May 07, 2020
- [Doc/Release] Update release manual · 18464506
  Andre Maroneze authored 4 years ago
  
  18464506
- [Doc] fix minor page number issue with hyperref · 555096d9
  Andre Maroneze authored 4 years ago
  
  Suggested by jens (https://bts.frama-c.com/view.php?id=2505)
  555096d9
May 05, 2020
- [Release/Doc] update release instructions · 5c0d126d
  Andre Maroneze authored 4 years ago
  
  5c0d126d
Apr 30, 2020
- [devman] introduce PTESTS_OPTS variable and put emphasis on MODULE directive · 90e200d2
  Virgile Prevosto authored 4 years ago
  
  90e200d2
- [devman] fix compilation of example script · 780b14de
  Virgile Prevosto authored 4 years ago
  
  780b14de
Apr 29, 2020
- [Doc/Devman] Update ptests section in developer manual · 94643712
  Andre Maroneze authored 4 years ago
  
  94643712
Apr 06, 2020
- [Eva] User manual: documents the -eva-domains-function option. · 9752800f
  David Bühler authored 5 years ago
  
  9752800f
- [doc] normalize references to ISO C99 · fc33bf23
  Andre Maroneze authored 4 years ago
  
  fc33bf23
Apr 02, 2020
- [doc] Minor fixes after review · f758c84b
  Andre Maroneze authored 4 years ago
  
  f758c84b
- [Eva] Fixes the user manuel: Eva warns on indeterminate copies by default. · 4e43f5cc
  David Bühler authored 4 years ago
  
  Since 2016…
  4e43f5cc
- [rte] Doc: fixes the default value of option -warn-special-float. · 6af7ddfe
  David Bühler authored 4 years ago
  
  6af7ddfe
- [rte] Documents new option -warn-invalid-pointer and -warn-pointer-downcast. · bebf6337
  David Bühler authored 4 years ago
  
  bebf6337
- [Eva] Documents new option -warn-invalid-pointer and -warn-pointer-downcast. · b2e0f841
  David Bühler authored 5 years ago
  
  b2e0f841
- [Kernel] Documents new options -warn-invalid-pointer and -warn-pointer-downcast. · 90fddb3d
  David Bühler authored 5 years ago
  
  In the user manual and in the man page.
  90fddb3d
- [Doc] Revamp userman's chapter on reporting errors (BTS -> Gitlab) · 9c1304aa
  Andre Maroneze authored 4 years ago
  
  9c1304aa
Mar 31, 2020
- [Userman] add diagram about source preparation · 7b40de16
  Andre Maroneze authored 4 years ago
  
  7b40de16
Mar 19, 2020
- [doc] Add `instantiate/` to the list of ignored folders in `doc/` · 4f8f6591
  Basile Desloges authored 5 years ago and Loïc Correnson committed 5 years ago
  
  4f8f6591
- [doc] Add `instantiate/` to the list of ignored folders in `doc/` · e1449a60
  Basile Desloges authored 5 years ago and Allan Blanchard committed 5 years ago
  
  e1449a60
Mar 18, 2020
- [Kernel] changes related to -cpp-extra-args-per-file after review · 6683e5eb
  Andre Maroneze authored 5 years ago
  
  6683e5eb
- [userman] rewrite some parts about preprocessing · 9dd74fdd
  Andre Maroneze authored 5 years ago
  
  9dd74fdd
- [Kernel] add option -cpp-extra-args-per-file · a480d4bf
  Andre Maroneze authored 5 years ago
  
  a480d4bf
Mar 17, 2020
- [server] generated doc enhancements · 4bd9b401
  Loïc Correnson authored 5 years ago
  
  4bd9b401
- [doc/server] fix style · 4e8112b5
  Loïc Correnson authored 5 years ago
  
  4e8112b5
- [Eva] User manual: uses and describes the -eva-domains option. · 62f1d4cb
  David Bühler authored 5 years ago
  
  62f1d4cb
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
- update .gitignore to match tracked files · 174fdd41
  Andre Maroneze authored 5 years ago
  
  174fdd41
Feb 26, 2020
- [Doc] Fixed declared interface for Occurrence.Print · 023932b4
  Basile Desloges authored 5 years ago
  
  023932b4
- [Doc] Missing parenthesis · 168d6b4a
  Basile Desloges authored 5 years ago
  
  168d6b4a
- [Doc] Update list of userman contributors · 8eb7620a
  Basile Desloges authored 5 years ago
  
  8eb7620a
Feb 25, 2020
- [Doc] Explicitely create tests folder in the plugin tutorial · 15e7df40
  Basile Desloges authored 5 years ago
  
  15e7df40
Feb 24, 2020
- Fix the doc compilation. · 101c8012
  Michele Alberti authored 5 years ago and David Bühler committed 5 years ago
  
  101c8012
Feb 13, 2020
- [kernel] Change default ACSL extension short printer · 34f41ff7
  Allan Blanchard authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  34f41ff7
- [Doc] Fixes ACSL extension manual · 79267246
  Allan Blanchard authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  79267246
- [Doc] Update developer guide for ACSL extensions · 2e36924c
  Allan Blanchard authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  2e36924c