Commits · b78a003e867ffa40c421b8d628548951a4f0eb89 · pub / frama-c

Apr 15, 2019
- Merge branch 'bugfix/patrick/acsl-importer-grammar' into 'master' · b78a003e
  Patrick Baudin authored 5 years ago
  
  [ACSL] grammar extension for ACSL-importer See merge request frama-c/frama-c!2225
  b78a003e
- [ACSL] grammar extension for ACSL-importer · f277c11a
  Patrick Baudin authored 5 years ago
  
  f277c11a
Apr 12, 2019
- [tests] add missing test · 10612471
  Andre Maroneze authored 5 years ago
  
  10612471
Apr 11, 2019
- [fc-script] fix distribution of files from !2116 · cb548af6
  Andre Maroneze authored 5 years ago
  
  cb548af6
- Merge branch 'feature/andre/frama-c-script-configure' into 'master' · 8c5dea64
  Valentin Perrelle authored 5 years ago
  
  Feature/andre/frama c script configure See merge request frama-c/frama-c!2116
  8c5dea64
- [Kernel] fix parsing of quotes in -json-compilation-database · 550c4f11
  Andre Maroneze authored 5 years ago
  
  550c4f11
- [fc-script] add make-wrapper and normalize-jcdb scripts; improve find-fun · 3b081971
  Andre Maroneze authored 6 years ago
  
  3b081971
- [fc-script] use relative paths in results of find-fun · 4ce11c1b
  Andre Maroneze authored 6 years ago
  
  4ce11c1b
- [fc-script] add command for running ./configure · 9cc260b1
  Andre Maroneze authored 6 years ago
  
  9cc260b1
Apr 10, 2019

Merge branch 'fix/andre/configure-disable-eva' into 'master' · eb026c18

Julien Signoles authored 5 years ago

[configure] fix dependencies on Eva plugin; standardize Studia plugin

Closes #634

See merge request frama-c/frama-c!2220

eb026c18

Apr 09, 2019
- Merge branch 'fix/syntax/attr-name' into 'master' · ea9368ae
  Andre Maroneze authored 5 years ago
  
  [syntax] allow for one letter attributes. See merge request frama-c/frama-c!2222
  ea9368ae
- [Changelog] update Changelog w.r.t. !2222 · fa23d793
  Andre Maroneze authored 5 years ago
  
  fa23d793
- [syntax] allow for one letter attributes. · 286f33fc
  Virgile Prevosto authored 5 years ago
  
  Fixes [external BTS 2432](https://bts.frama-c.com/view.php?id=2432)
  286f33fc
- [Changelog] update Changelog w.r.t. !2221 · 3e9e62d2
  Andre Maroneze authored 5 years ago
  
  3e9e62d2
- Merge branch 'fix/obfuscator/fct-ptr-names' into 'master' · a91a47c0
  Andre Maroneze authored 5 years ago
  
  Obfuscates names of parameters in function types See merge request frama-c/frama-c!2221
  a91a47c0
- [Dev] normalize .gitignore for some plugins · b942b687
  Andre Maroneze authored 5 years ago
  
  b942b687
- [configure] fix dependencies on Eva plugin; standardize Studia · 2160fb75
  Andre Maroneze authored 5 years ago
  
  2160fb75
Apr 08, 2019
- [obfuscator] more linting · 1790a17f
  Virgile Prevosto authored 5 years ago
  
  1790a17f
- [obfuscator] Renames parameters in function pointers · c8c254fe
  Virgile Prevosto authored 5 years ago
  
  Fixes external issue 2433
  c8c254fe
- [obfuscator] linting · 08f09ce2
  Virgile Prevosto authored 5 years ago
  
  08f09ce2
- [obfuscator] test for issue 2433 · b8f3fe06
  Virgile Prevosto authored 5 years ago
  
  b8f3fe06
Apr 05, 2019
- Merge branch 'feature/eva/summary' into 'master' · 62232fb1
  Andre Maroneze authored 5 years ago
  
  [Eva] Prints a summary of the analysis at the end See merge request frama-c/frama-c!2188
  62232fb1
- [Wp] Disables the new Eva analysis summary in a test. · b1192a64
  David Bühler authored 5 years ago
  
  b1192a64
- [Eva] Adds a new test for the analysis summary. · fcc1c540
  David Bühler authored 5 years ago
  
  fcc1c540
- [Eva] Updates alternative test oracles. · 4bb7f8e6
  David Bühler authored 5 years ago
  
  4bb7f8e6
- [Eva] Updates test oracles with the analysis summary. · febed781
  David Bühler authored 5 years ago
  
  febed781
- [Eva] Do not print the summary in Frama-C tests. · 02c586ee
  David Bühler authored 5 years ago
  
  As it is redundant with all the information displayed during the analysis.
  02c586ee
- [Eva] Prints a summary of the analysis at the end. · 49b04095
  David Bühler authored 6 years ago
  
  49b04095
Apr 04, 2019
- Merge branch 'feature/tests/refactoring' into 'master' · 4e4e2b14
  Andre Maroneze authored 5 years ago
  
  [tests] New macro for the tests using Eva See merge request frama-c/frama-c!2219
  4e4e2b14
- [Eva] Updates test oracles for alternative domains. · dde07669
  David Bühler authored 5 years ago
  
  dde07669
- [tests] Uses the macro EVA_OPTIONS instead of option -eva-show-progress. · 8e6f6df0
  David Bühler authored 5 years ago
  
  8e6f6df0
- [tests] Uses the EVA_OPTIONS macro in the builtins tests. · 160c5c50
  David Bühler authored 5 years ago
  
  160c5c50
- [tests] New macro EVA_OPTIONS for the -eva- options used in the tests. · 88bf3236
  David Bühler authored 5 years ago
  
  Separate from EVA_CONFIG, which also disables the other plugins.
  88bf3236
- [tests] Renames the macro VALUECONFIG into EVA_CONFIG. · dc7fd4cf
  David Bühler authored 5 years ago
  
  dc7fd4cf
- Merge branch 'feature/eva/evaluator' into 'master' · 0e687b7f
  Valentin Perrelle authored 5 years ago
  
  [Eva] New module type gathering all abstractions and the evaluator See merge request frama-c/frama-c!2214
  0e687b7f
- Merge branch 'fix/eva/gauges-update' into 'master' · f4bdf000
  Andre Maroneze authored 5 years ago
  
  [Eva] Reduces the gauges state from the valuation on assignments. See merge request frama-c/frama-c!2217
  f4bdf000
- Merge branch 'fix/andre/test-libc-defs' into 'master' · 09c87cdc
  Virgile Prevosto authored 5 years ago
  
  [tests] fix test extension See merge request frama-c/frama-c!2218
  09c87cdc
Apr 03, 2019
- [tests] fix test extension · a2ca21f3
  Andre Maroneze authored 5 years ago
  
  a2ca21f3
- Merge branch 'feature/eva/meta-options' into 'master' · 5edd5022
  Valentin Perrelle authored 5 years ago
  
  [Eva] New meta option -eva-precision See merge request frama-c/frama-c!2186
  5edd5022
- Merge branch 'feature/andre/refactor-tests' into 'master' · 25370e85
  David Bühler authored 5 years ago
  
  [tests] refactor tests to simplify future changes See merge request frama-c/frama-c!2198
  25370e85