Commits · ebdcacd3ec889fbee111947e006fb6a0300255e2 · pub / frama-c

Mar 27, 2019

Remove option -wp-assert-check-only · ebdcacd3

Thibault Martin authored 6 years ago

Since commit #8783731f and #28139960 this option is not needed anymore.
I updated LUncov (which was the only plugin using it) to remove it as well

ebdcacd3

Mar 25, 2019
- [WP] detection of non significative casts (from/to the same array type) · 8ad5c287
  Patrick Baudin authored 6 years ago
  
  8ad5c287
Mar 15, 2019
- new algo (more lazy) for fitting detection of C Casts · da04f80a
  Patrick Baudin authored 6 years ago
  
  da04f80a
Mar 13, 2019
- [wp/tests] no more need of +cast for a test · a3b60b27
  Patrick Baudin authored 6 years ago
  
  a3b60b27
- [wp] better fitting detection for C casts (source: T target:T[N]) · 3c0bc02a
  Patrick Baudin authored 6 years ago
  
  3c0bc02a
- [wp] better fitting detection for C casts · 6be3084d
  Patrick Baudin authored 6 years ago
  
  6be3084d
- [wp/tests] add a test about C casts · 70819134
  Patrick Baudin authored 6 years ago
  
  70819134
- [wp/tests] restore run.config_qualif for a test · 71cb033c
  Patrick Baudin authored 6 years ago
  
  71cb033c
- [wp] explicits offset of an union field · 30e29676
  Patrick Baudin authored 6 years ago
  
  30e29676
- [wp] adds some comments · 60bc2c1e
  Patrick Baudin authored 6 years ago
  
  60bc2c1e
Mar 12, 2019
- [wp/tests] oracles for test about no-wp property tags · aba67b5a
  Patrick Baudin authored 6 years ago
  
  aba67b5a
Mar 11, 2019
- [Libc] fix some minor issues · 4eeb5855
  Andre Maroneze authored 6 years ago
  
  4eeb5855
- [Kernel] add debugging messages; include logic_info; fix default vreferenced · 3c6bc923
  Andre Maroneze authored 6 years ago
  
  3c6bc923
Mar 08, 2019
- [Libc] add runtime test and fix several issues · 73bbf83f
  Andre Maroneze authored 6 years ago
  
  73bbf83f
Mar 05, 2019
- [wp/manual] The selection of check assertions complies with option -wp-prop. · ca5b8000
  Patrick Baudin authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  ca5b8000
- [wp] The selection of check assertions complies with option -wp-prop. · 2c94b911
  David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  2c94b911
- [wp] code annot names for -wp-prop option · 93d8d0ee
  Patrick Baudin authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  93d8d0ee
- [WP,EVA] adds a test related to property dependencies · efebd7ae
  Patrick Baudin authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  efebd7ae
- [Eva] improve message for check of invalid properties · c70ccbbe
  Andre Maroneze authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  c70ccbbe
- [wp] Do not add check annotations as hypotheses. · 9e4c15a5
  David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  9e4c15a5
- [Gui] In the property filter, separates user assertions and user checks. · 68205974
  David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  68205974
- [Kernel] New assertion kind: Assert or Check. · 30cee395
  David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  Asserts are both evaluated and used as hypotheses afterwards. Checks are only evaluated, but are not used as hypotheses: they must not affect the analyses.
  30cee395
Mar 04, 2019
- [Gui] Fixes the lablgtk3 support. · d4b4e077
  David Bühler authored 6 years ago
  
  d4b4e077
- [WP/test] adding a test initializing multidimentianal arrays · 0c2c3df6
  Patrick Baudin authored 6 years ago
  
  0c2c3df6
- [WP/test] adding a test initializing multidimentianal arrays · c1bfc28c
  Patrick Baudin authored 6 years ago
  
  c1bfc28c
- [WP/test] adding a test initializing multidimentianal arrays · e4de9160
  Patrick Baudin authored 6 years ago
  
  e4de9160
- [wp/gui] insert a splitter for palette · 9d042a41
  Loïc Correnson authored 6 years ago
  
  9d042a41
- [gui] use configure pattern for splitters · e2db9b8b
  Loïc Correnson authored 6 years ago
  
  e2db9b8b
- [gui] scroll utility · e7aa956c
  Loïc Correnson authored 6 years ago
  
  e7aa956c
- [gui] add split pane utilities · 1cc4e488
  Loïc Correnson authored 6 years ago
  
  1cc4e488
Feb 26, 2019
- [obfuscator] Removes an unnecessary try… with. · dea55f7c
  David Bühler authored 6 years ago
  
  dea55f7c
- [obfuscator] Do not obfuscate functions with attribute FC_BUILTIN or fc_stdlib. · 50dc43d9
  David Bühler authored 6 years ago and Julien Signoles committed 6 years ago
  
  Instead of all functons with no definition.
  50dc43d9
- [obfuscator] Do not obfuscate builtin logic types and constructors. · f57decc3
  David Bühler authored 6 years ago and Julien Signoles committed 6 years ago
  
  f57decc3
- [obfuscator] obfuscate logic types and constructors · bdb21972
  Yaelle Vincont authored 6 years ago and Julien Signoles committed 6 years ago
  
  bdb21972
- [obfuscator] do not obfuscate stdlib and builtins · a6dab9bb
  Yaelle Vincont authored 6 years ago and Julien Signoles committed 6 years ago
  
  a6dab9bb
Feb 25, 2019
- [ACSL] initial treatment of variable scopes under at · eca3a6e5
  Virgile Prevosto authored 6 years ago
  
  eca3a6e5
- [wp] better test config · 19da8753
  Patrick Baudin authored 6 years ago
  
  19da8753
- [WP/tests] updating report oracle for string_c · da2a1ea9
  Patrick Baudin authored 6 years ago
  
  da2a1ea9
- [wp] better test config · fed4d85b
  Loïc Correnson authored 6 years ago
  
  fed4d85b
- [wp] validating output of all tests · 36416057
  Loïc Correnson authored 6 years ago
  
  36416057