Commits · 2c94b9114810ed0346b5119dbe79e45b28b98ad1 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 05, 2019
- [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
- [wp] Do not add check annotations as hypotheses. · 9e4c15a5
  David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago
  
  9e4c15a5
- [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
- [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
Feb 25, 2019
- [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
- [wp] adding quail reports as oracles · 3c596215
  Loïc Correnson authored 6 years ago
  
  3c596215
- [wp] use report/in report/out · 7145dca0
  Loïc Correnson authored 6 years ago
  
  7145dca0
- [wp] move all reports · e9a5125f
  Loïc Correnson authored 6 years ago
  
  e9a5125f
- [wp] add LOG in config · 1b64dfdc
  Loïc Correnson authored 6 years ago
  
  1b64dfdc
- [wp] differenciate report-in and report-out for json · 9ab45e6b
  Loïc Correnson authored 6 years ago
  
  9ab45e6b
- [ocaml] silence spurious warnings about partial applications · 6961078a
  Andre Maroneze authored 6 years ago
  
  6961078a
- [ocaml] improve compatibility with 4.08: Pervasives.compare · f3c4504d
  Andre Maroneze authored 6 years ago
  
  f3c4504d
- Fixes tests: explicitly casts pointers to integers to avoid a new warning. · 2c7e9f0c
  David Bühler authored 6 years ago
  
  2c7e9f0c
Feb 20, 2019
- [WP/tests] updates an oracle · 03e47560
  Patrick Baudin authored 6 years ago
  
  03e47560
Feb 19, 2019
- [stdlib] normalize integer divisions · dc578221
  Loïc Correnson authored 6 years ago and David Bühler committed 6 years ago
  
  dc578221
Feb 18, 2019
- [wp] use success-only for qualif · 8ed5477b
  Loïc Correnson authored 6 years ago
  
  8ed5477b
- [wp] add success-only message key · b1abc7b4
  Loïc Correnson authored 6 years ago
  
  b1abc7b4
- [WP] full resolution in script · 46dbc9a1
  Loïc Correnson authored 6 years ago
  
  46dbc9a1
- [wp] absurd on type and init · 6dd146c5
  Loïc Correnson authored 6 years ago
  
  6dd146c5
- [wp] better consolidation of scripts · d8f24238
  Loïc Correnson authored 6 years ago
  
  d8f24238
- [wp] float to integer coercions · f0ae9f50
  Loïc Correnson authored 6 years ago
  
  (to be complete)
  f0ae9f50
- [wp] move simplifier type to Lang · 596242f1
  Loïc Correnson authored 6 years ago
  
  596242f1
- [wp] update builtin names in oracles · e2358b06
  Loïc Correnson authored 6 years ago
  
  e2358b06
- [wp] use exported name for builtins · 24e7e7bd
  Loïc Correnson authored 6 years ago
  
  24e7e7bd
- [wp] move float builtins to Cfloat · 9311b41d
  Loïc Correnson authored 6 years ago
  
  9311b41d
Feb 15, 2019
- [WP] add the new builtins into the manual · 5d07e013
  Virgile Prevosto authored 6 years ago
  
  5d07e013
- [WP] add missing ACSL floating-point comparison operators · 58eec060
  Virgile Prevosto authored 6 years ago
  
  58eec060
- [WP] add bindings for some ACSL floating-point comparisons · 89185b3e
  Virgile Prevosto authored 6 years ago
  
  89185b3e
Feb 07, 2019
- [gui] make use of printer-tag in gui · e8177b54
  Loïc Correnson authored 6 years ago
  
  e8177b54
Feb 06, 2019
- [Gui] avoid Gtk warning about scrolled widget · 61bc04c7
  Andre Maroneze authored 6 years ago
  
  61bc04c7
Feb 05, 2019
- [WP/tests] binary multiplcation · 80fbae00
  Patrick Baudin authored 6 years ago
  
  80fbae00
Feb 04, 2019
- [wp] fix havoc tactical · e7e4ae71
  Loïc Correnson authored 6 years ago
  
  e7e4ae71