Commits · b43f5a44bf961967fff52086264776c4b3fa5530 · pub / frama-c

Aug 27, 2019
- [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
- [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
- 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
Aug 06, 2019
- [Rmtmps] remove unused type · 8bc5a5b8
  Andre Maroneze authored 5 years ago
  
  8bc5a5b8
- Merge branch 'feature/andre/libc-lseek' into 'master' · c7ee3d24
  Valentin Perrelle authored 5 years ago
  
  [Libc] add spec for lseek See merge request frama-c/frama-c!2342
  c7ee3d24
Aug 05, 2019
- [Libc] add spec for lseek · eb458058
  Andre Maroneze authored 5 years ago
  
  eb458058
- Update Changelog after merging !2302 · 5b903d3b
  Virgile Prevosto authored 5 years ago
  
  5b903d3b
- Merge branch 'feature/ptest/modules' into 'master' · e0e0d46e
  Valentin Perrelle authored 5 years ago
  
  Feature/ptest/modules See merge request frama-c/frama-c!2302
  e0e0d46e
- [doc] expand a little bit the documentation of MODULE ptests' directive · 398d4c79
  Virgile Prevosto authored 5 years ago and Valentin Perrelle committed 5 years ago
  
  398d4c79
- [doc] Fix index entry for MODULE and clean up test directive entries · eb67ef5f
  Virgile Prevosto authored 5 years ago and Valentin Perrelle committed 5 years ago
  
  eb67ef5f
- [Ptest] add a MODULE configuration option to build and load modules · 39cd8ff7
  Valentin Perrelle authored 5 years ago
  
  39cd8ff7
- Update Changelog after merging !2337 · 5022e884
  Virgile Prevosto authored 5 years ago
  
  5022e884
- Merge branch 'feature/andre/keep-unused-types' into 'master' · cb3b44b9
  Virgile Prevosto authored 5 years ago
  
  Feature/andre/keep unused types Closes #680 See merge request frama-c/frama-c!2337
  cb3b44b9
- [kernel] Fixes missing AST dependencies wrt kernel cmdline parameters · 489c39e2
  Virgile Prevosto authored 5 years ago
  
  489c39e2
- [kernel] slight internal refactoring in file.ml · a75704d2
  Virgile Prevosto authored 5 years ago
  
  a75704d2
- [Kernel] add option -keep-unused-types · 42547d0a
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  42547d0a
- [rmtmps] avoid useless computation when not debugging · 52e4f029
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  52e4f029
- Update Changelog after merging !2344 · f3ab695c
  Virgile Prevosto authored 5 years ago
  
  f3ab695c
- Merge branch 'cok-builtin' into 'master' · 8bc7057c
  Virgile Prevosto authored 5 years ago
  
  Cok builtin See merge request frama-c/frama-c!2344
  8bc7057c
- Removing obsolete builtin.h · d14aebfb
  DavidCok authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  d14aebfb
Aug 02, 2019
- Merge branch 'fix/eva/assigns-environment' into 'master' · 884b9f74
  Andre Maroneze authored 5 years ago
  
  [Eva] In Db, fixes the environment used to evaluate assigns clauses. Closes #689 See merge request frama-c/frama-c!2341
  884b9f74
- Merge branch 'fix/andre/libc-strdup' into 'master' · c05bf14e
  Andre Maroneze authored 5 years ago
  
  [Libc] add requires to strdup See merge request frama-c/frama-c!2340
  c05bf14e
- [Libc] add requires to strdup · bff33984
  Andre Maroneze authored 5 years ago
  
  bff33984
- [Eva] In Db, fixes the environment used to evaluate assigns clauses. · e8a3b2b4
  David Bühler authored 5 years ago
  
  e8a3b2b4
- Merge branch 'kernel/visitor_behavior' into 'master' · ff85c5a1
  Julien Signoles authored 5 years ago
  
  Kernel/visitor behavior See merge request frama-c/frama-c!2183
  ff85c5a1
- changelog · 8642c641
  Julien Signoles authored 5 years ago
  
  8642c641
- [Kernel] Totally removes functions related to Visitor_behavior from Cil and adds a migration script · 7dfb2b2a
  Allan Blanchard authored 5 years ago and Julien Signoles committed 5 years ago
  
  7dfb2b2a