Commits · c23684abfcf531b32d2dbeb7f6aa34e871c90c5e · pub / frama-c

Apr 17, 2019
- [Eva] Adds a test of the bitwise domain. · c23684ab
  David Bühler authored 5 years ago
  
  c23684ab
- [Eva] The bitwise offsm_value returns `Bottom when reducing the cvalue to bottom. · b5929077
  David Bühler authored 5 years ago
  
  Fixes a crash in cvalue_forward, where values are assumed to be non bottom.
  b5929077
- [Eva] Implements logic_assign in the bitwise domain. · c38c133b
  David Bühler authored 5 years ago
  
  c38c133b
Apr 15, 2019
- Merge branch 'feature/patrick/alt-ergo-free' into 'master' · ee497a2d
  François Bobot authored 5 years ago
  
  [OPAM] allows the use of the package alt-ergo-free as an alternative to alt-ergo Closes #635 See merge request frama-c/frama-c!2228
  ee497a2d
- [OPAM] allows the use of the package alt-ergo-free as an alternative to alt-ergo · 546ed1d8
  Patrick Baudin authored 5 years ago
  
  546ed1d8
- Merge branch 'fix/andre/gui-unfold-reset' into 'master' · 12e93de9
  Andre Maroneze authored 5 years ago
  
  [Gui] avoid resetting Properties panel when unfolding bullets Closes #602 See merge request frama-c/frama-c!2223
  12e93de9
- 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
- [Gui] avoid resetting Properties panel when unfolding bullets · 74d37020
  Andre Maroneze authored 5 years ago
  
  74d37020
- [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