Commits · f649401fbd6c1acf7164ff99a061bf7a6856d615 · pub / frama-c

Aug 28, 2019
- Merge branch 'feature/andre/libc-compliance' into 'master' · f649401f
  Virgile Prevosto authored 5 years ago
  
  [Libc] add standards-compliance databases and checks See merge request frama-c/frama-c!2343
  f649401f
- Merge branch 'feature/server/plugin' into 'master' · 84ad8062
  Loïc Correnson authored 5 years ago
  
  Server Plugin See merge request frama-c/frama-c!1838
  84ad8062
- Merge branch 'master' into feature/server/plugin · b889e483
  Loïc Correnson authored 5 years ago
  
  b889e483
- Merge branch 'feature/library/dot-graph' into 'master' · c1a30fcb
  François Bobot authored 5 years ago
  
  [lib] dot-graph utilities See merge request frama-c/frama-c!2350
  c1a30fcb
- [opam] Remove constraint on the version of Alt-Ergo · e402fc8b
  Allan Blanchard authored 5 years ago and David Bühler committed 5 years ago
  
  e402fc8b
- Merge branch 'feature/andre/filepath-parameter' into 'master' · b39ea21a
  Julien Signoles authored 5 years ago
  
  [Cmdline] add Filepath parameter Closes #589 See merge request frama-c/frama-c!2263
  b39ea21a
- move [Filepath.existence] to [Parameter_sig.existence] + comment exceptions · 510b1007
  Julien Signoles authored 5 years ago
  
  510b1007
- remove useless values from Parameter_customize · c6ca6964
  Julien Signoles authored 5 years ago
  
  c6ca6964
- [filepath] add is_unknown function · ac9d1561
  Yaelle Vincont authored 5 years ago and Julien Signoles committed 5 years ago
  
  ac9d1561
- [cmdline] fix Parameter_builder.Filepath · 8a9f9c4a
  Yaelle Vincont authored 5 years ago and Julien Signoles committed 5 years ago
  
  8a9f9c4a
- [Cmdline] add Filepath parameter · 390f409c
  Andre Maroneze authored 5 years ago and Julien Signoles committed 5 years ago
  
  390f409c
- Merge branch 'julien/feature/float_transitioning' into 'master' · 8998149c
  Julien Signoles authored 5 years ago
  
  [transitioning] add Float.max_float See merge request frama-c/frama-c!2360
  8998149c
- [Ptests] ensure macros apply only to current and subsequent commands · 1991030a
  Andre Maroneze authored 5 years ago
  
  1991030a
- [Libc] update test oracles · 9e8d032e
  Andre Maroneze authored 5 years ago
  
  9e8d032e
Aug 27, 2019
- [Libc] move declarations for better POSIX compliance; minor fix · b18129d8
  Andre Maroneze authored 5 years ago
  
  b18129d8
- [Libc] fix normalization of __fc prefixes · bffa0795
  Andre Maroneze authored 5 years ago
  
  bffa0795
- [Libc] add standards-compliance databases and checks · 7296f784
  Andre Maroneze authored 5 years ago
  
  7296f784
- add Transitioning.Float.max_float · 8ed03f4b
  Julien Signoles authored 5 years ago
  
  8ed03f4b
- Merge branch 'feature/andre/eva-warning-assigns' into 'master' · f7d59e36
  David Bühler authored 5 years ago
  
  [Eva] change 'invalid assigns' clause warning to feedback See merge request frama-c/frama-c!2276
  f7d59e36
- [Libc] avoid assigns with ternary operator · b43f5a44
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  b43f5a44
- [Eva] change 'invalid assigns' clause warning to feedback · e9b12b5f
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  e9b12b5f
Aug 22, 2019
- Merge branch 'fix/andre/union-with-fam' into 'master' · 2b58cfd5
  Virgile Prevosto authored 5 years ago
  
  [Cabs2cil] allow unions containing structs with FAMs See merge request frama-c/frama-c!2348
  2b58cfd5
- [Cabs2cil] allow unions containing structs with FAMs · 4984f5de
  Andre Maroneze authored 5 years ago
  
  4984f5de
Aug 21, 2019

Merge branch 'fix/eva/non-initialized-reduction' into 'master' · e0a6ed37

Andre Maroneze authored 5 years ago

[Eva] Fixes the logical reduction by !\initialized and !\dangling.

Closes #691

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

e0a6ed37

Aug 20, 2019
- Merge branch 'bugfix/issue181' into 'master' · ab9adc05
  Julien Signoles authored 5 years ago
  
  Fix of issue #181 See merge request frama-c/frama-c!2236
  ab9adc05
- changelog · 645c5a63
  Julien Signoles authored 5 years ago
  
  645c5a63
- lint · 27e0cfd7
  Julien Signoles authored 5 years ago
  
  27e0cfd7
- [project] fix a rare but critical bug of Project.on leading to an incorrect... · ffce09ac
  Julien Signoles authored 5 years ago
  
  [project] fix a rare but critical bug of Project.on leading to an incorrect restoration of the former project
  ffce09ac
- [kernel] prevent generating a warning on -remove-projects · 6876d9ff
  Julien Signoles authored 5 years ago
  
  6876d9ff
- [WIP][gui/project] unsuccessful attented to solve issue 181 · 232ed8f6
  Julien Girard-Satabin authored 5 years ago and Julien Signoles committed 5 years ago
  
  232ed8f6
- [cmdline] Fixed sequence of -remove-projects and -then options · d85f878e
  Julien Girard-Satabin authored 5 years ago and Julien Signoles committed 5 years ago
  
  d85f878e
- [lib/dotgraph] documentation · d87fa550
  Loïc Correnson authored 5 years ago
  
  d87fa550
- [lib] dot-graph utility · 0902d67f
  Loïc Correnson authored 5 years ago
  
  0902d67f
- [Eva] Adds tests of the reduction by the negation of \initialized. · 8c428117
  David Bühler authored 5 years ago
  
  8c428117
- [Eva] Updates test oracles. · 05573c96
  David Bühler authored 5 years ago
  
  05573c96
- [Eva] Fixes the logical reduction by !\initialized and !\dangling. · 29fc1fe9
  David Bühler authored 5 years ago
  
  29fc1fe9
Aug 19, 2019
- [server] remove Transitioning for String and Char · 24ad78d3
  Loïc Correnson authored 5 years ago
  
  24ad78d3
- [server] fix doc typos · 67f959c0
  Loïc Correnson authored 5 years ago
  
  67f959c0
- Merge branch 'master' into feature/server/plugin · b6f2e1e1
  Loïc Correnson authored 5 years ago
  
  b6f2e1e1
- Merge branch 'fix/andre/install-tips-macos' into 'master' · eadf32bb
  Loïc Correnson authored 5 years ago
  
  [Doc] add installation tips for macOS See merge request frama-c/frama-c!2333
  eadf32bb