Commits · fdd2a79c449f847813829b68c8cdefa76f4ba0cd · pub / frama-c · GitLab

Snippets Groups Projects

May 28, 2019
- Sets version to 19.0-beta2. · fdd2a79c
  David Bühler authored 5 years ago
  
  fdd2a79c
- Merge branch 'fix/gui/function-spec' into 'stable/potassium' · 8213b743
  Loïc Correnson authored 5 years ago
  
  [Gui] Printer_tag: removes the cache for the printer. See merge request frama-c/frama-c!2269
  8213b743
- [Gui] Printer_tag: removes the cache for the printer. · 67d6b1eb
  David Bühler authored 5 years ago
  
  Fixes a bug in the GUI where function contracts disappeared when the preconditions were unfold at a call site.
  67d6b1eb
May 24, 2019
- Merge branch 'fix/virgile/why3-conf' into 'stable/potassium' · 64eb5ec7
  Loïc Correnson authored 5 years ago
  
  Fix/virgile/why3 conf See merge request frama-c/frama-c!2264
  64eb5ec7
- Merge branch 'fix/rte/variable-declarations' into 'stable/potassium' · f855d58c
  Julien Signoles authored 5 years ago
  
  [rte] Do not visit variable declarations; fixes a crash. See merge request frama-c/frama-c!2261
  f855d58c
- changelog · c9226d13
  Julien Signoles authored 5 years ago
  
  c9226d13
May 23, 2019
- [wp] don't forget to forcibly rm a read-only file before re-generating it · 06d805e3
  Virgile Prevosto authored 5 years ago
  
  Also use FC's Makefile standard variables whenever possible
  06d805e3
- [wp] recompute why3.conf when --prefix is changed · 76c684f2
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  76c684f2
- [tests] add test for RTE issue mentioned in MR !2261 · 68e7678d
  Virgile Prevosto authored 5 years ago
  
  68e7678d
- Merge branch 'fix/issue652' into 'stable/potassium' · 9f808abb
  Virgile Prevosto authored 5 years ago
  
  See merge request frama-c/frama-c!2262
  9f808abb
May 22, 2019
- [Makefile] ensure directory lib/plugins exists for META files · fa03ea4a
  Andre Maroneze authored 5 years ago
  
  fa03ea4a
May 17, 2019
- [rte] security belt on current-stmt · 16031ca0
  Loïc Correnson authored 5 years ago
  
  16031ca0
- [rte] Do not visit variable declarations; fixes a crash. · 90f5dc58
  David Bühler authored 5 years ago
  
  90f5dc58
May 15, 2019

Merge branch... · 3c7139e0

François Bobot authored 5 years ago

Merge branch '650-erreur-lors-de-la-generation-des-fichiers-why3-avec-certaines-construction-pas-encore-vraiment-identifie' into 'stable/potassium'

Resolve "Erreur lors de la génération des fichiers Why3 avec certaines construction (pas encore vraiment identifié)"

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

3c7139e0

[wp] fix expl string for why3 output · 0297bb18
Loïc Correnson authored 5 years ago

0297bb18

May 13, 2019
- Fixes the potassium beta version. · 907a18f2
  David Bühler authored 5 years ago
  
  907a18f2
- [Eva] Updates alternative test oracles. · 03865a1e
  David Bühler authored 5 years ago
  
  03865a1e
- Updates the known working configuration. · 8da29bd5
  David Bühler authored 5 years ago
  
  8da29bd5
- Retroactively updates the Changelog with major Eva changes for Potassium. · fef401ec
  David Bühler authored 5 years ago
  
  fef401ec
- [release] update authors + opam version number · 6648b21c
  Virgile Prevosto authored 5 years ago
  
  6648b21c
- [release] update install instructions · a872b22f
  Virgile Prevosto authored 5 years ago
  
  a872b22f
- [release] Version number · 7421dd3a
  Virgile Prevosto authored 5 years ago
  
  7421dd3a
- [release] Prepare Changelog · 7eab3f52
  Virgile Prevosto authored 5 years ago
  
  7eab3f52
- [release] update name pattern for Changelog section · e6146b25
  Virgile Prevosto authored 5 years ago
  
  e6146b25
May 09, 2019
- Merge branch 'bugfix/wp/cint-solver' into 'stable/potassium' · 0a4d724c
  Patrick Baudin authored 5 years ago
  
  Fixes Cint solver See merge request frama-c/frama-c!2255
  0a4d724c
- [WP] fixes Cint solver · fa07e4a8
  Patrick Baudin authored 5 years ago
  
  fa07e4a8
Apr 30, 2019
- Merge branch 'bugfix/julien/rmtmps_MR1930' into 'stable/potassium' · 07049d24
  Virgile Prevosto authored 5 years ago
  
  Fixe problème E-ACSL introduit par MR 1930 See merge request frama-c/frama-c!2253
  07049d24
Apr 29, 2019
- Merge branch 'fix/robles/update-callgraph-doc' into 'stable/potassium' · cb4e3a1d
  Julien Signoles authored 5 years ago
  
  [Callgraph] Remove "unsound" mention in help message See merge request frama-c/frama-c!2252
  cb4e3a1d
- [rmtmps] fix bug introduced in MR 1930 (marking unused fc_builtins as being referenced) · a9d10039
  Julien Signoles authored 5 years ago
  
  a9d10039
- [Callgraph] Remove "unsound" mention in help message · 78df9993
  Virgile Robles authored 5 years ago
  
  78df9993
- Merge branch 'feature/patrick/from-potassium' into 'master' · bc285cd6
  Patrick Baudin authored 5 years ago
  
  Feature/patrick/from potassium See merge request frama-c/frama-c!2251
  bc285cd6
- Merge remote-tracking branch 'origin/stable/potassium' into feature/patrick/from-potassium · 164f02e0
  Patrick Baudin authored 5 years ago
  
  164f02e0
- Merge branch 'feature/patrick/acsl-boolean-cast' into 'stable/potassium' · 2c8726af
  Patrick Baudin authored 5 years ago
  
  ACSL casts from/to boolean type See merge request frama-c/frama-c!2212
  2c8726af
- Merge branch '644-crash-de-la-gui-avec-thread-sous-mac-os-x' into 'stable/potassium' · dbd9486d
  Patrick Baudin authored 5 years ago
  
  Resolve "Crash de la GUI avec -thread sous Mac OS X" See merge request frama-c/frama-c!2244
  dbd9486d
Apr 27, 2019
- revert to use x!=0 for converting x to boolean · 99ff7a49
  Virgile Prevosto authored 5 years ago
  
  99ff7a49
Apr 26, 2019
- Merge branch 'feature/wp/fix-bool-type' into 'stable/potassium' · 03ec4b5b
  Julien Signoles authored 5 years ago
  
  Feature/wp/fix bool type See merge request frama-c/frama-c!2249
  03ec4b5b
- [wp] update changeling wrt to -wp-bool-range · 2cb6fa0d
  Loïc Correnson authored 5 years ago
  
  2cb6fa0d
- [wp] update qualif tests · 1d0cf285
  Loïc Correnson authored 5 years ago
  
  Since -wp-bool-range is activated by default…
  1d0cf285
- [wp] use rte for generating bool guards · 8b580c41
  Loïc Correnson authored 5 years ago
  
  8b580c41
- [rte] missing set status of invalid-bool · 75ddd747
  Loïc Correnson authored 5 years ago
  
  75ddd747