Commits · bdc15d16708c9ae9bbe2dda2d7d965b73e66f2b4 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 03, 2020
- [Instantiate] Global_vars renamed Global_context · bdc15d16
  Allan Blanchard authored 4 years ago
  
  bdc15d16
Apr 02, 2020
- [Instantiate] Changes error when can't instantiate · daeed27e
  Allan Blanchard authored 5 years ago
  
  daeed27e
- [Instantiate] Introduces globals variables table · 638dca64
  Allan Blanchard authored 5 years ago
  
  638dca64
- [Instantiate] Adds the called function to typing function · 91b9f160
  Allan Blanchard authored 5 years ago
  
  91b9f160
- [Instantiate] Simplifies internal tables management · 48356f37
  Allan Blanchard authored 5 years ago
  
  48356f37
- [Instantiate] Test for numeric constant as pointers · 1b103b96
  Allan Blanchard authored 5 years ago
  
  1b103b96
- [Instantiate] Fixes Memset for all bits to one · 0217e3d9
  Allan Blanchard authored 5 years ago
  
  0217e3d9
- [Instantiate] Test related to enums for memset/calloc · 778ba37f
  Allan Blanchard authored 5 years ago
  
  778ba37f
- [Instantiate] Refacto in string modules · ac00a6ec
  Allan Blanchard authored 5 years ago
  
  ac00a6ec
Mar 26, 2020
- [tests] avoid duplication definition warnings in oracles (string) · 47dffa32
  Allan Blanchard authored 5 years ago
  
  47dffa32
- [tests] avoid duplication definition warnings in oracles · 108f6b68
  Virgile Prevosto authored 5 years ago
  
  108f6b68
- [Instantiate] m/c alloc: refuse incomplete types · 5ed93d57
  Allan Blanchard authored 5 years ago
  
  5ed93d57
- [Instantiate] Ignore incomplete types in string functions · a465676c
  Allan Blanchard authored 5 years ago
  
  a465676c
- [Instantiate] Ignore nested unions in memset · 6520856e
  Allan Blanchard authored 5 years ago
  
  6520856e
- [Instantiate] Memset: take of nested typedefs · cdba1f48
  Allan Blanchard authored 5 years ago
  
  cdba1f48
- [Instantiate] Do not fail on function pointers · e80dbe06
  Allan Blanchard authored 5 years ago
  
  e80dbe06
Feb 27, 2020
- [RENAME PLUGIN] Builtin -> Instantiate · bec92f6a
  Allan Blanchard authored 5 years ago
  
  bec92f6a