Commits · de0cc4661e5edbc8e5fd0821c2b3aacb61240e89 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 21, 2019
- Merge branch 'cok-typo' into 'master' · de0cc466
  Andre Maroneze authored 6 years ago
  
  Simple typo See merge request frama-c/frama-c!2168
  de0cc466
- Merge branch 'feature/rte/extern-api' into 'master' · be299388
  Loïc Correnson authored 6 years ago
  
  RTE extern api Closes #595 See merge request frama-c/frama-c!2128
  be299388
- indent · acc4e5c3
  Julien Signoles authored 6 years ago
  
  acc4e5c3
- Merge branch 'fix/andre/yet-another-sed-bug' into 'master' · 4cc4020c
  François Bobot authored 6 years ago
  
  [Kernel] fix incompatibility with BSD sed See merge request frama-c/frama-c!2166
  4cc4020c
- [rte] remove 'open Flags' · 2baab0d3
  Julien Signoles authored 6 years ago
  
  2baab0d3
- Merge branch 'master' into feature/rte/extern-api · 18af5e51
  Loïc Correnson authored 6 years ago
  
  18af5e51
Feb 20, 2019
- [rte] refactor high level API · d895ca1e
  Loïc Correnson authored 6 years ago
  
  d895ca1e
- [Kernel] fix incompatibility with BSD sed · 59239559
  Andre Maroneze authored 6 years ago
  
  59239559
- [rte] moving flags and more exports · d5091e6c
  Loïc Correnson authored 6 years ago
  
  d5091e6c
- [rte] move rte_annotations to generator · 687f1bf2
  Loïc Correnson authored 6 years ago
  
  687f1bf2
- [rte] simplify extern RteGen.mli · b255a3ef
  Loïc Correnson authored 6 years ago
  
  b255a3ef
- Simple typo · 330b3c2e
  DavidCok authored 6 years ago
  
  330b3c2e
- Merge branch 'fix/patrick/wp-oracle-update' into 'master' · b05901ca
  Patrick Baudin authored 6 years ago
  
  Updates an oracle of WP tests See merge request frama-c/frama-c!2163
  b05901ca
- [WP/tests] updates an oracle · 03e47560
  Patrick Baudin authored 6 years ago
  
  03e47560
Feb 19, 2019
- Merge branch 'feature/wp/unsuccess-status' into 'master' · d50b0cd7
  François Bobot authored 6 years ago
  
  [wp] key success-only for qualif tests See merge request frama-c/frama-c!2161
  d50b0cd7
- [rte] polishing doc · cfc3e127
  Loïc Correnson authored 6 years ago
  
  cfc3e127
- Merge branch 'master' into feature/rte/extern-api · 64205cb6
  Loïc Correnson authored 6 years ago
  
  64205cb6
- [rte] simplifies and document API · 861f1bf8
  Loïc Correnson authored 6 years ago
  
  861f1bf8
- Merge branch 'feature/integer/normalize-div-rem' into 'master' · 89bd69af
  David Bühler authored 6 years ago
  
  [stdlib] normalize div & rem See merge request frama-c/frama-c!2132
  89bd69af
- [stdlib] Fixes some comments in ival and integer.mli. · c4945b0b
  David Bühler authored 6 years ago
  
  c4945b0b
- [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
- Merge branch 'feature/wp/fix-nupw' into 'master' · 10bb0db9
  Loïc Correnson authored 6 years ago
  
  [wp] some fixes from nupw See merge request frama-c/frama-c!2156
  10bb0db9
- [WP] full resolution in script · 46dbc9a1
  Loïc Correnson authored 6 years ago
  
  46dbc9a1
- Merge branch 'feature/virgile/acsl-float-comparisons' into 'master' · f9b3a964
  Loïc Correnson authored 6 years ago
  
  [ACSL] coerce comparisons from floats to real Closes #608 See merge request frama-c/frama-c!2152
  f9b3a964
- Merge branch 'feature/wp/fix-circular-dependencies' into 'master' · 15e78cb3
  Loïc Correnson authored 6 years ago
  
  [wp] move simplifier type to Lang See merge request frama-c/frama-c!2155
  15e78cb3
- [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
- [ACSL] add warning for real promotion of float in comparison · 67a6fb03
  Virgile Prevosto authored 6 years ago
  
  inactive by default. Hints at using corresponding float operator
  67a6fb03
- [Makefile] fixes typo in variable name · a1c115fe
  Virgile Prevosto authored 6 years ago
  
  a1c115fe
- [ACSL] coerce comparisons from floats to real · f3f0502f
  Virgile Prevosto authored 6 years ago
  
  f3f0502f