Commits · daeed27eba8cab04b59b324374dfa0fca08cbd61 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 02, 2020
- [Instantiate] Changes error when can't instantiate · daeed27e
  Allan Blanchard authored 4 years ago
  
  daeed27e
- [Instantiate] Test for numeric constant as pointers · 1b103b96
  Allan Blanchard authored 4 years ago
  
  1b103b96
- [Instantiate] Refacto in string modules · ac00a6ec
  Allan Blanchard authored 4 years ago
  
  ac00a6ec
Mar 26, 2020
- [tests] avoid duplication definition warnings in oracles (string) · 47dffa32
  Allan Blanchard authored 4 years ago
  
  47dffa32
- [Instantiate] Ignore incomplete types in string functions · a465676c
  Allan Blanchard authored 5 years ago
  
  a465676c
Feb 27, 2020
- [RENAME PLUGIN] Builtin -> Instantiate · bec92f6a
  Allan Blanchard authored 5 years ago
  
  bec92f6a
Nov 27, 2019
- [Builtin] Fix on assigns ranges for string functions · 838879f8
  Allan Blanchard authored 5 years ago
  
  838879f8
- [Builtin] Small fix + Doc · 660e007d
  Allan Blanchard authored 5 years ago
  
  660e007d
- [Builtin] Reject calls with void* input · c295cee8
  Allan Blanchard authored 5 years ago
  
  c295cee8
- [Builtin] header -> directory · 12a8f29b
  Allan Blanchard authored 5 years ago
  
  12a8f29b
- [Builtin] Tests more types · fb8234bf
  Allan Blanchard authored 5 years ago
  
  fb8234bf
- [Builtin] Better code generation + validate contracts · 29017f5a
  Allan Blanchard authored 5 years ago
  
  29017f5a
- [Builtin] Now generates function definitions · 8485cd47
  Allan Blanchard authored 5 years ago
  
  8485cd47
- [Builtin] Override Std becomes Builtin · c34eb69b
  Allan Blanchard authored 5 years ago
  
  c34eb69b
- [Override Std] Pointers to arrays OK · 6c5f6649
  Allan Blanchard authored 5 years ago
  
  6c5f6649
- [Override Std] Fix missing \result in memcpy/move · fb50cf91
  Allan Blanchard authored 5 years ago
  
  fb50cf91
- [Override Std] Some tests for the generated contracts · 86acae47
  Allan Blanchard authored 5 years ago
  
  86acae47