Commits · 6608ae46bd12189b229345b776cce657a625afd5 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 12, 2020
- [wp] Deals with globals in MemTyped · 6608ae46
  Allan Blanchard authored 4 years ago
  
  6608ae46
- [wp] Improves initialization filter · 0f9db74d
  Allan Blanchard authored 4 years ago
  
  0f9db74d
- [wp] Fixes an unsoundness in init filter · 56614d6c
  Allan Blanchard authored 4 years ago
  
  56614d6c
- [wp] Removes a test indrectly related to unsupported initialized · 5b939abb
  Allan Blanchard authored 4 years ago
  
  5b939abb
- [wp] Init now supported · bd6deb89
  Allan Blanchard authored 4 years ago
  
  bd6deb89
- [wp] Filters initialized when they are useless · df7c54da
  Allan Blanchard authored 4 years ago
  
  df7c54da
- [wp] Fixes MemVar assigned_array with no offset · e53fa948
  Allan Blanchard authored 4 years ago
  
  e53fa948
- [wp] Moves the notion of update init from model to MemLoader · 129d6a0a
  Allan Blanchard authored 4 years ago
  
  129d6a0a
- [wp] Improves MemLoader initialized · e1a9e36a
  Allan Blanchard authored 4 years ago
  
  e1a9e36a
- [wp] Simplifies initialized monotonic for MemTyped · c039cd59
  Allan Blanchard authored 4 years ago
  
  c039cd59
- [wp] Refacto on initialized load MemLoader · 739e3c82
  Allan Blanchard authored 4 years ago
  
  739e3c82
- [wp] MemLoader initialized monotonic to predicates · a6a4417f
  Allan Blanchard authored 4 years ago
  
  a6a4417f
- [wp] Simplifies test content + fixes MemVar assigned · 03304176
  Allan Blanchard authored 4 years ago
  
  03304176
- [wp] Improves MemVar assigned + fixes range on comp · e5991579
  Allan Blanchard authored 4 years ago
  
  e5991579
- [wp] More tests for initialized · 4a6a525c
  Allan Blanchard authored 4 years ago
  
  4a6a525c
- [wp] Assigned for MemLoader/MemTyped · 2b3b5fef
  Allan Blanchard authored 4 years ago
  
  2b3b5fef
- [wp] Assigned do not considers formal and globals · e52eea9f
  Allan Blanchard authored 4 years ago
  
  e52eea9f
- [wp] MemVar initialized fixes issue with typing + havoc some variables · bb481ec2
  Allan Blanchard authored 4 years ago
  
  bb481ec2
- [wp] MemVar initialized monotonic on assigns · 7222b10b
  Allan Blanchard authored 4 years ago
  
  7222b10b
- [wp] MemVar: fixes assigned_array object kind · 38b268ca
  Allan Blanchard authored 4 years ago
  
  38b268ca
- [wp] MemLoader generates initialized for segments · 03bf686f
  Allan Blanchard authored 4 years ago
  
  03bf686f
- [wp] Initialized range on Ref is assumed in MemVar · 2a731e07
  Allan Blanchard authored 4 years ago
  
  2a731e07
- [wp] Generalized use of initialized_obj" · b583f9af
  Allan Blanchard authored 4 years ago
  
  b583f9af
- [wp] Initialized types generated only when necessary · 7572e56a
  Allan Blanchard authored 4 years ago
  
  7572e56a
- [wp] Small refacto in ProverWhy3 · f2fbacb3
  Allan Blanchard authored 4 years ago
  
  f2fbacb3
- [wp] Initialized ranges in MemTyped · b20b8685
  Allan Blanchard authored 4 years ago
  
  b20b8685
- [wp] Initialized arrays in MemLoader · e69e9aef
  Allan Blanchard authored 4 years ago
  
  e69e9aef
- [wp] Add initialized to MemLoader · fd725548
  Allan Blanchard authored 4 years ago
  
  fd725548
- [wp] Adds a test for Memvar initialized and fixes bugs with ranges · be34f059
  Allan Blanchard authored 4 years ago
  
  be34f059
- [wp] MemVar: initialized range · 89e9bd38
  Allan Blanchard authored 4 years ago
  
  89e9bd38
- [wp] Better initialized values in MemVar + few fixes · 0ba33fb9
  Allan Blanchard authored 4 years ago
  
  0ba33fb9
- [wp] MemVar: \initialized · d09517b4
  Allan Blanchard authored 5 years ago
  
  d09517b4
Jun 11, 2020
- Merge branch 'stable/scandium' · 869c7de4
  Andre Maroneze authored 4 years ago
  
  869c7de4
- update version number for final 21.0-Scandium release · c384486c
  Andre Maroneze authored 4 years ago
  
  View commits for tag 21.0 21.0
  
  c384486c
- [Doc] remove Ubuntu 20.04 from WSL (issue with sleep) · f26c6871
  Andre Maroneze authored 4 years ago
  
  f26c6871
- [Release] update release script · a4963b87
  Andre Maroneze authored 4 years ago
  
  a4963b87
- [Doc/Release] update release manual · f13ae712
  Andre Maroneze authored 4 years ago
  
  f13ae712
- [Doc] update blog URL · 9066b663
  Andre Maroneze authored 4 years ago
  
  9066b663
- [Cil] fix 'since' tag after rebase · efd1f4ab
  Andre Maroneze authored 4 years ago
  
  efd1f4ab
Jun 10, 2020
- Merge branch 'feature/ivette/properties-filter' into 'master' · 55965be6
  Loïc Correnson authored 4 years ago
  
  [ivette] Improves the property table: filters and new columns See merge request frama-c/frama-c!2695
  55965be6