Commits · b94eca4b9a8571b974e6a76452c10153e9d4bd87 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 12, 2019
- [wp] fixed float comparisons · b94eca4b
  Loïc Correnson authored 5 years ago
  
  b94eca4b
Jun 07, 2019
- [Libc] Avoid using the variable name 'template' as it is a C++ reserved word · 527cf865
  DavidCok authored 5 years ago
  
  527cf865
Jun 06, 2019
- Merge branch 'fix/virgile/gui' into 'stable/potassium' · 11aa6505
  Andre Maroneze authored 5 years ago
  
  Fixes project menu with lablgtk3 See merge request frama-c/frama-c!2270
  11aa6505
Jun 05, 2019
- [gui] better alignment in submenus · 3eafaae4
  Virgile Prevosto authored 5 years ago
  
  3eafaae4
- [gui] update bold entry even if project menu as a whole is not reset · 927c2a8d
  Virgile Prevosto authored 5 years ago
  
  927c2a8d
- [gui] Default project in bold in project menu · fe34b595
  Virgile Prevosto authored 5 years ago
  
  fe34b595
- [gui] recompute project menu after loading projects · 05964774
  Virgile Prevosto authored 5 years ago
  
  incidentally, this avoids having the phantom duplication of current project when duplicating a non-current project.
  05964774
Jun 04, 2019
- [gui] update menu label · d9ae07c6
  Virgile Prevosto authored 5 years ago
  
  d9ae07c6
- [gui] don't auto-select current project when unfolding submenu · a161253b
  Virgile Prevosto authored 5 years ago
  
  a161253b
- [gui] Do not multiply phantom projects in the menu when duplicating · b3231751
  Virgile Prevosto authored 5 years ago
  
  b3231751
- [gui] refresh project menu after renaming · a5920b78
  Virgile Prevosto authored 5 years ago
  
  a5920b78
- [gui] working per-project submenu · ab68a415
  Virgile Prevosto authored 5 years ago
  
  ab68a415
- [gui] reset project menu with appropriate project list when removing · a0fec1ea
  Virgile Prevosto authored 5 years ago
  
  a0fec1ea
- [gui] on the way to fix project menu size · 771490b0
  Virgile Prevosto authored 5 years ago
  
  771490b0
- [gui] Suppress menu entry that wasn't show by gtk3 anyway · 303dede9
  Virgile Prevosto authored 5 years ago
  
  303dede9
- [gui] fixes documentation · d2c91ed1
  Virgile Prevosto authored 5 years ago
  
  d2c91ed1
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