Commits · 99eac4a39e5d4cbf5d7230af95b19abab24f5438 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 19, 2020
- [config] add support for ocamlgraph 2.0 and the ocamlgraph/ocamlgraph_gtk split · 3dc87d94
  Virgile Prevosto authored 4 years ago
  
  3dc87d94
Oct 16, 2020
- [tests] removing unused tests/dynamic_plugin directory · b922b3fb
  Patrick Baudin authored 4 years ago
  
  b922b3fb
Oct 13, 2020
- [Libc] add specs for sendto and recvfrom · f7019816
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  f7019816
Oct 09, 2020
- [kernel] change option name to -print-config-json · 0427f750
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  0427f750
- [fc-script] use Frama-C new -dump-config option · a36937b7
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  a36937b7
Oct 08, 2020
- [fc-config] no longer use frama-c-config aliases · 86deea7f
  Andre Maroneze authored 4 years ago
  
  86deea7f
Oct 06, 2020
- [analysis-scripts] avoid using frama-c-config and fix issue with path '.' · 39fa0fcd
  Andre Maroneze authored 4 years ago
  
  39fa0fcd
Oct 02, 2020
- [analysis-scripts] fix regex in make_template.py · c9957a58
  Andre Maroneze authored 4 years ago
  
  c9957a58
- [analysis-scripts] simplify make-template using FRAMAC_BIN · 28b84abf
  Andre Maroneze authored 4 years ago
  
  28b84abf
Oct 01, 2020
- [Libc] fix spec of localeconv() · 69e7a250
  Andre Maroneze authored 4 years ago
  
  69e7a250
Sep 30, 2020
- [Libc] fix specs of fgetpos and fsetpos · 548d249a
  Andre Maroneze authored 4 years ago
  
  548d249a
- [Libc] make WEOF visible when only wctype.h is included · 8c9a406f
  Andre Maroneze authored 4 years ago
  
  8c9a406f
Sep 25, 2020
- [analysis-scripts] export FRAMAC_BIN from frama-c-script and update scripts · 5fe84d36
  Andre Maroneze authored 4 years ago
  
  Also use argparse for command-line parsing.
  5fe84d36
Sep 24, 2020
- [Kernel] revamp option -autocomplete to allow filtering and display more data · 4ab56b22
  Andre Maroneze authored 4 years ago and Julien Signoles committed 4 years ago
  
  4ab56b22
Sep 22, 2020
- [Analysis-scripts] fix and update normalize-jcdb · 129f21cd
  Andre Maroneze authored 4 years ago
  
  129f21cd
- [Analysis-scripts] update list-files · 49eaa67c
  Andre Maroneze authored 4 years ago
  
  49eaa67c
Sep 17, 2020
- [Libc] add spec for asctime · cd5d5802
  Andre Maroneze authored 4 years ago
  
  cd5d5802
Sep 09, 2020
- [tests] conditionally disable tests requiring Python 3.6 · e724c45e
  Andre Maroneze authored 4 years ago
  
  e724c45e
Sep 08, 2020
- [scripts] prefer explicit FRAMAC variable over default frama-c in PATH · 9f7e74e1
  Virgile Prevosto authored 4 years ago
  
  9f7e74e1
- [Analysis-scripts] remove obsolete option · 9e658593
  Andre Maroneze authored 4 years ago
  
  9e658593
Aug 24, 2020
- [tests] Stabilize fc_script oracle when Frama-C is in the path · 35b50156
  Andre Maroneze authored 4 years ago
  
  35b50156
Aug 04, 2020
- [analysis-scripts] remove obsolete slevel tweaker · 24f9d294
  Andre Maroneze authored 4 years ago and Andre Maroneze committed 4 years ago
  
  24f9d294
Jul 30, 2020
- [analysis-scripts] fix summary.py environment definition · 1ed0fa82
  Valentin Perrelle authored 4 years ago
  
  1ed0fa82
- [analysis-scripts] remove unused summary.sh · e96d4943
  Valentin Perrelle authored 4 years ago
  
  e96d4943
- [analysis-scripts] ignore python compiled files · 5aa3c4b7
  Valentin Perrelle authored 4 years ago
  
  5aa3c4b7
- [analysis-scripts] check if the target is a directory before listing sub-targets · d150e86d
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  d150e86d
- [analysis-scripts] several fixes after review · 45002bc7
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  45002bc7
- [Analysis-scripts] use short frama-c-config options · 2715322c
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  2715322c
- [Analysis-scripts] update summary.py and display-targets to new architecture · 49abb055
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  49abb055
- [Analysis-scripts] improve template, make-template, make-path; refactor find-fun · 801d2ae6
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  801d2ae6
- [Analysis-scripts] update make-template · 3e9a07d9
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  3e9a07d9
- [Analysis-scripts] remove outdated documentation and examples; userman will replace it · 0016909e
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  0016909e
- [Analyis-scripts] rename several files to avoid confusion · fb38eaff
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  fb38eaff
- [Analysis-scripts] add mandatory MACHDEP to Makefile template · 13bfd49d
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  13bfd49d
- [analysis-scripts] Makefile simplification · 3d142c85
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  3d142c85
Jul 29, 2020
- [analysis-scripts] fix cmd-dep.sh output · e5e493f1
  Andre Maroneze authored 4 years ago
  
  e5e493f1
Jul 27, 2020
- remove obsolete occurrences of Transitioning due to migration towards 4.08.1 · 22807efc
  Andre Maroneze authored 4 years ago
  
  22807efc
Jul 15, 2020
- [Libc] add stub for realpath · 5d24aacd
  Dario Pinto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  5d24aacd
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jul 01, 2020
- [configure] add detection of dos2unix tool · 6f3e9cfb
  Virgile Prevosto authored 4 years ago
  
  6f3e9cfb