Commits · 398d4c79f0fcec11b1d800f0ce977b64fe17dde2 · pub / frama-c · GitLab

Snippets Groups Projects

Aug 05, 2019
- [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
- [Kernel behavior] Modularize visitor_behavior · f6a26159
  Allan Blanchard authored 5 years ago and Julien Signoles committed 5 years ago
  
  f6a26159
- Copyright headers for Visitor_behavior · 4362e7c8
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  4362e7c8
- [Kernel] Lint Visitor_behavior · 87177221
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  87177221
- [Tests] Replaces deprecated function call related to Visitor_behavior · bd181971
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  bd181971
- [SpareCode] Replaces deprecated function call related to Visitor_behavior · 5a43e278
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  5a43e278
- [Scope] Replaces deprecated function call related to Visitor_behavior · 08712321
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  08712321
- [Constant propagation] Replaces deprecated function call related to Visitor_behavior · 1f8305c0
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  1f8305c0
- [Aorai] Replaces deprecated module Cil.Sid with Cil_const.Sid · 3b35e5b7
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  3b35e5b7
- [WP] Replaces deprecated function call related to Visitor_behavior · 2ef442a2
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  2ef442a2
- [Kernel] Replaces deprecated function calls related to new Visitor_behavior module · 246c9cc5
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  246c9cc5
- [Kernel] Deprecates Cil.visitor_behavior and associated functions, moved to... · 5739df24
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  [Kernel] Deprecates Cil.visitor_behavior and associated functions, moved to Visitors/visitor_behavior
  5739df24
Jul 29, 2019
- Merge branch 'feature/andre/libc-mmap-flags' into 'master' · 8772176b
  Andre Maroneze authored 5 years ago
  
  [Libc] add a few non-POSIX flags for mmap See merge request frama-c/frama-c!2336
  8772176b
- [Libc] add a few non-POSIX flags for mmap · 5cab64f9
  Andre Maroneze authored 5 years ago
  
  5cab64f9
Jul 26, 2019
- Merge branch 'feature/andre/libc-ftw' into 'master' · a324fcdb
  Andre Maroneze authored 5 years ago
  
  [Libc] add ftw.h header See merge request frama-c/frama-c!2320
  a324fcdb
- Merge branch 'fix/andre/bigarray-on-405' into 'master' · 7018969f
  Andre Maroneze authored 5 years ago
  
  [Makefile] fix issue with gmp and caml_ba_alloc_dims See merge request frama-c/frama-c!2334
  7018969f
- Merge branch 'feature/andre/cil-global-attributes' into 'master' · 2cc8f9d2
  Andre Maroneze authored 5 years ago
  
  [Cil] new function Cil.globalAttributes See merge request frama-c/frama-c!2322
  2cc8f9d2
- [Libc] add ftw.h header · da849fce
  Andre Maroneze authored 5 years ago
  
  da849fce
- [Makefile] fix issue with gmp and caml_ba_alloc_dims · 9f9b3872
  Andre Maroneze authored 5 years ago
  
  Solution found by David Bühler.
  9f9b3872
- [kernel] retrieve all global annotations attributes · 76f4f08f
  Virgile Prevosto authored 5 years ago
  
  76f4f08f
- [kernel] rename new functions · ecf1a525
  Virgile Prevosto authored 5 years ago
  
  ecf1a525
- [Cil] new functions to retrieve attributes for globals and global annotations · 2b31f7c7
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  2b31f7c7