Commits · a68668e8f26d861b6fc37ee91aff821d02401892 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 12, 2019
- [Doc/Eva] user manual: slevel bashing, mention of -eva-precision, updates · a68668e8
  Andre Maroneze authored 5 years ago
  
  a68668e8
Jun 11, 2019
- [Eva] User manual: fixes the paragraph on overflow in integer arithmetic. · 395a502a
  David Bühler authored 5 years ago
  
  395a502a
- [Eva] User manual: minor fixes. · fdca8716
  David Bühler authored 5 years ago
  
  fdca8716
- [Eva] User manual: fixes alarm warnings in example logs. · 7e373cab
  David Bühler authored 5 years ago
  
  7e373cab
Jun 06, 2019
- [Doc/Eva] update section about -eva-warn-key loop-unroll · dacf2723
  Andre Maroneze authored 5 years ago
  
  dacf2723
May 24, 2019
- [Doc] remove remaining Spivak pronouns for consistency; improve formatting · 311ec404
  Andre Maroneze authored 5 years ago
  
  311ec404
May 23, 2019
- [Doc/Eva] major update to the Eva tutorial; documentation improvements · 0c3953e6
  Andre Maroneze authored 5 years ago
  
  0c3953e6
May 22, 2019
- [userman] add mention of frama-c-script · d5151db9
  Andre Maroneze authored 5 years ago
  
  d5151db9
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
- [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
- Merge remote-tracking branch 'origin/stable/potassium' into feature/patrick/acsl-boolean-cast · f3a47684
  Patrick Baudin authored 5 years ago
  
  f3a47684
- Merge branch 'stable/potassium' into 'master' · 4b501cd4
  Patrick Baudin authored 5 years ago
  
  [WP] Support of why3 version 1.x See merge request frama-c/frama-c!2248
  4b501cd4
Apr 25, 2019
- Merge branch '538-wp-support-for-why-3-1-0' into 'stable/potassium' · 26cf3482
  Patrick Baudin authored 5 years ago
  
  Resolve "[WP] Support for Why-3 1.0" See merge request frama-c/frama-c!2239
  26cf3482