Commits · 3229842253b28d20f49d5fa1e5aa570ee19d4256 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 04, 2021
- [Kernel] explain usage of getenv "PWD" instead of getcwd · 32298422
  Andre Maroneze authored 3 years ago
  
  32298422
- [Kernel] use getenv PWD instead of getcwd to avoid issues with symbolic links · 6200c914
  Andre Maroneze authored 3 years ago
  
  6200c914
Jun 01, 2021
- [kernel] Always recompute the CFG after applying a code transformation. · fb97ee6c
  David Bühler authored 3 years ago
  
  Even if the AST already exists and the transformation is triggered by an option change.
  fb97ee6c
Apr 26, 2021
- [machdep] sizeof_void is 1 on gcc machdeps, and undefined on default machdeps. · e9cbedc7
  David Bühler authored 3 years ago
  
  e9cbedc7
Apr 14, 2021
- [Kernel] fix chdir issue with JCDB, when running from a different directory · b73065f7
  Andre Maroneze authored 4 years ago
  
  b73065f7
Apr 09, 2021
- [Kernel] use normalized filepaths in fc_config · 09c68ea3
  Andre Maroneze authored 4 years ago
  
  09c68ea3
Mar 17, 2021
- [Kernel] rename Filepath.Normalized.[is_]unknown into [is_]empty · f7fbd6d9
  Andre Maroneze authored 4 years ago
  
  f7fbd6d9
Feb 18, 2021
- [Eva] Audit mode: changes the warning message on missing files. · ed9297ff
  David Bühler authored 4 years ago
  
  ed9297ff
- [Kernel] minor audit fixes following review · ae3f2dab
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  ae3f2dab
- [Kernel] audit mode: add check for missing hashes, with tests · d449dba5
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  d449dba5
- [kernel] File: minor refactoring · be565648
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  be565648
- [kernel] File: rewrites function [compute_sources_table]. · 89620efb
  David Bühler authored 4 years ago
  
  89620efb
- [kernel] File: fixes an abort message. · 2b9be50b
  David Bühler authored 4 years ago
  
  2b9be50b
- [kernel] File: new utilitary function [create_temp_file]. · e6bc8387
  David Bühler authored 4 years ago
  
  e6bc8387
- [kernel] File: renames [filepath_of_file] into [get_filepath]. · 1851b74f
  David Bühler authored 4 years ago
  
  Uses it in [get_name].
  1851b74f
- [Kernel/Eva] add audit options and checks · 1da1be72
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  1da1be72
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Feb 08, 2021
- [Kernel] remove obsolete semantic tags · f0256785
  Andre Maroneze authored 4 years ago
  
  f0256785
- [Kernel] separate preprocessing command and extra args; fixes #@1003 · 51c067ea
  Andre Maroneze authored 4 years ago
  
  51c067ea
- [kernel] more File refactoring · 91baf7bd
  Andre Maroneze authored 4 years ago
  
  91baf7bd
- [kernel] refactoring: rename variable · fdc4e2c3
  Andre Maroneze authored 4 years ago
  
  fdc4e2c3
- [Kernel] more refactoring of File · 1a79f5e3
  Andre Maroneze authored 4 years ago
  
  1a79f5e3
- [kernel] minor refactoring · 8523b080
  Andre Maroneze authored 4 years ago
  
  8523b080
- [Kernel] remove extraneous space from preprocessing command · 1bc2cd3d
  Andre Maroneze authored 4 years ago
  
  1bc2cd3d
- [Kernel] avoid inserting newlines in messages with long command lines · 03ce758d
  Andre Maroneze authored 4 years ago
  
  03ce758d
Jan 21, 2021
- [Exlib] remove opt_bind; replace Extlib.the with Option.get when possible · 69efa5b2
  Andre Maroneze authored 4 years ago
  
  69efa5b2
Nov 26, 2020
- [kernel] Update module name for Cil_builtins functions · 81f4d50f
  Basile Desloges authored 4 years ago
  
  81f4d50f
Oct 09, 2020
- [kernel] add an option to dump the current configuration into a Json object · 6e91fa95
  Valentin Perrelle authored 5 years ago and Andre Maroneze committed 4 years ago
  
  6e91fa95
Sep 08, 2020
- [Kernel] refactor file.ml and add option -print-cpp-commands · 962e8d65
  Andre Maroneze authored 4 years ago
  
  962e8d65
Jul 27, 2020
- remove obsolete occurrences of Transitioning due to migration towards 4.08.1 · 22807efc
  Andre Maroneze authored 4 years ago
  
  22807efc
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jul 02, 2020
- [Kernel] improve error message when preprocessing fails · 8bcef50f
  Andre Maroneze authored 4 years ago
  
  8bcef50f
Jun 25, 2020
- [logic] add optional keep_empty parameters to add_code_annot · 0d9bf98c
  Virgile Prevosto authored 4 years ago
  
  similar semantics as the parameter of same name in `add_assigns` and `add_allocates` in contracts
  0d9bf98c
Jun 02, 2020
- [parsing] use -nostdinc if in Frama-C stdlib mode · 2b8a4ce8
  Virgile Prevosto authored 4 years ago
  
  2b8a4ce8
- [Kernel] define machdep macro even when not using Frama-C standard library · 257496c4
  Andre Maroneze authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  257496c4
May 26, 2020
- [Kernel] remove __thread_is_keyword from machdep · e13579fc
  Andre Maroneze authored 4 years ago
  
  e13579fc
Mar 23, 2020
- [typing] avoid removing a block if previous stmt is a statement contract · bfeb8c16
  Virgile Prevosto authored 5 years ago
  
  or any code annotation that is specifying what the whole next statement is doing
  bfeb8c16
Mar 18, 2020
- [Kernel] changes related to -cpp-extra-args-per-file after review · 6683e5eb
  Andre Maroneze authored 5 years ago
  
  6683e5eb
- [Kernel] add option -cpp-extra-args-per-file · a480d4bf
  Andre Maroneze authored 5 years ago
  
  a480d4bf
Mar 13, 2020
- [config] change name of config.ml to avoid clash with compiler internal lib · aedae7e6
  Virgile Prevosto authored 5 years ago
  
  aedae7e6