Commits · 24ad78d36696c92da9e7a0bcd43ffbf32b1256f5 · pub / frama-c · GitLab

Snippets Groups Projects

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
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
- [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