Commits · 3cf336682380cdf4d4bc6685a1e745707c3ee00b · pub / frama-c

Jun 14, 2019
- [WP] make sure that the prop_id names are unique · 3cf33668
  François Bobot authored 5 years ago
  
  3cf33668
- [WP] factorize uniqueness handling of properties id · 82e0bc22
  François Bobot authored 5 years ago
  
  82e0bc22
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

[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 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
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
- [wp] fix expl string for why3 output · 0297bb18
  Loïc Correnson authored 5 years ago
  
  0297bb18
May 13, 2019
- [release] update authors + opam version number · 6648b21c
  Virgile Prevosto authored 5 years ago
  
  6648b21c
- [release] Prepare Changelog · 7eab3f52
  Virgile Prevosto authored 5 years ago
  
  7eab3f52
May 09, 2019
- [WP] fixes Cint solver · fa07e4a8
  Patrick Baudin authored 5 years ago
  
  fa07e4a8
Apr 29, 2019
- [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
Apr 27, 2019
- revert to use x!=0 for converting x to boolean · 99ff7a49
  Virgile Prevosto authored 5 years ago
  
  99ff7a49
Apr 26, 2019
- [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
- [wp] no more support for -wp-no-bool-range · 8a3a7331
  Loïc Correnson authored 5 years ago
  
  8a3a7331
- [WP] fixes _Bool layout · ad86f36f
  Patrick Baudin authored 5 years ago and Loïc Correnson committed 5 years ago
  
  ad86f36f
Apr 25, 2019
- [WP/share] removing wp/share/src · d07cc305
  Patrick Baudin authored 5 years ago
  
  d07cc305
- [WP/test] compliant oracles with OCI · a500119f
  Patrick Baudin authored 5 years ago
  
  a500119f
- [printer] fixes pretty-printing of unions · 398b8187
  Virgile Prevosto authored 5 years ago
  
  398b8187
- [WP/test] compliant oracles with OCI · 3b60c570
  Patrick Baudin authored 5 years ago
  
  3b60c570
- [kernel] make is_bool part of the API · 64c366a8
  Virgile Prevosto authored 5 years ago
  
  64c366a8
- [typing] do not loose logic coercions to booleans during typing · ba53a640
  Virgile Prevosto authored 5 years ago
  
  ba53a640
- [typing] be more strict in coercions to set<...> · 162d7030
  Virgile Prevosto authored 5 years ago
  
  162d7030