Commits · 770ff667197674424d74ad9353869e8a02957905 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 26, 2020
- [analysis-scripts] fix issues in make-template and remove obsolete make-path · 770ff667
  Andre Maroneze authored 4 years ago
  
  770ff667
Oct 09, 2020
- [Kernel] add documentation for option -print-config-json · e1e3cdb2
  Andre Maroneze authored 4 years ago
  
  e1e3cdb2
Oct 08, 2020
- [fc-config] no longer use frama-c-config aliases · 86deea7f
  Andre Maroneze authored 4 years ago
  
  86deea7f
Sep 24, 2020
- [Doc] add mention to option -autocomplete in userman and manpage · 084e3c79
  Andre Maroneze authored 4 years ago and Julien Signoles committed 4 years ago
  
  084e3c79
Sep 22, 2020
- [Doc] expand fcmake alias earlier · 1fb79307
  Andre Maroneze authored 4 years ago
  
  1fb79307
- [Doc] add documentation on making new stages with analysis-scripts · 7c43245d
  Andre Maroneze authored 4 years ago
  
  7c43245d
- [Doc] update documentation about analysis-scripts · 8bcc8742
  Andre Maroneze authored 4 years ago
  
  8bcc8742
Sep 21, 2020
- [userman] update changes · 66490704
  Julien Signoles authored 4 years ago
  
  66490704
- [Doc] update installation details in User Manual · b7c324c4
  Andre Maroneze authored 4 years ago
  
  b7c324c4
Sep 08, 2020
- [Doc] add mention to SARIF output in userman · 2121cbb3
  Andre Maroneze authored 4 years ago
  
  2121cbb3
- [Kernel] document option -print-cpp-commands · 656b14ad
  Andre Maroneze authored 4 years ago
  
  656b14ad
- Recommend sourcing autocompletion with frama-c-config · 01c1286f
  Roma Auguste authored 4 years ago
  
  01c1286f
- typo in command given in the manual · 0b7f5a93
  Roma Auguste authored 4 years ago
  
  Verified
  
  0b7f5a93
Jun 10, 2020
- [Doc] update version name in userman Changes · 16630e3a
  Andre Maroneze authored 4 years ago
  
  16630e3a
Jun 05, 2020
- [Doc] User manual: mentions frama-c-script make-template earlier. · 01ec9c33
  David Bühler authored 4 years ago
  
  01ec9c33
- [Doc] add link to Frama-C blog post about C-Reduce · babed390
  Andre Maroneze authored 4 years ago
  
  babed390
- [Doc] add section about required build information · d962647b
  Andre Maroneze authored 4 years ago
  
  d962647b
- [Doc] User manual: minor changes in the documentation of analysis-scripts. · b6f51172
  David Bühler authored 4 years ago
  
  b6f51172
Jun 03, 2020
- [Doc/Userman] add clarification about creduce having to be installed · a8523a93
  Andre Maroneze authored 4 years ago
  
  a8523a93
Jun 02, 2020
- [Userman] add documentation about analysis-scripts · 9974feac
  Andre Maroneze authored 4 years ago
  
  9974feac
- [Doc/Userman] fix make dependencies and extraneous word · ea83447d
  Andre Maroneze authored 4 years ago
  
  ea83447d
May 26, 2020
- [Doc] fix several occurrences of un-idiomatic English · 6d9dc0a5
  Andre Maroneze authored 4 years ago
  
  6d9dc0a5
- [Doc] Documents the new option -explain. · 1532e727
  David Bühler authored 5 years ago
  
  1532e727
May 15, 2020
- [Doc/Userman] Normalize main target name · ebf1e7a7
  Andre Maroneze authored 4 years ago
  
  ebf1e7a7
May 11, 2020
- [Doc/Userman] Add clarification about -json-compilation-database · 59b8573e
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  59b8573e
Apr 02, 2020
- [doc] Minor fixes after review · f758c84b
  Andre Maroneze authored 4 years ago
  
  f758c84b
- [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 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 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Dec 04, 2019
- prepare Frama-C 21 (Scandium) · e522d2ab
  Andre Maroneze authored 5 years ago
  
  e522d2ab
- [doc/userman] update version header in changelog · f8258f03
  Andre Maroneze authored 5 years ago
  
  f8258f03
Aug 05, 2019
- [Kernel] add option -keep-unused-types · 42547d0a
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  42547d0a
Jul 26, 2019
- Change compiler requirements in configure and documentation · 3631dd10
  François Bobot authored 5 years ago
  
  3631dd10
Jul 23, 2019
- [userman] reformulation and fix layout · 076a154b
  Virgile Prevosto authored 5 years ago
  
  076a154b
- [kernel] update manual about cpp-command · f45e087e
  Valentin Perrelle authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  f45e087e
May 23, 2019
- [Doc/Eva] major update to the Eva tutorial; documentation improvements · 0c3953e6
  Andre Maroneze authored 5 years ago
  
  0c3953e6