Revision f2a319ff
ACSL spec: produce memory related properties: valid pointers, speration, assigns
Files
- added
- modified
- copied
- renamed
- deleted
| ID | f2a319ff111d60288fcbfd0245ee69c14123734b |
| Parent | 302670bb |
| Child | 1d3e339d |
Added by Pierre-Loïc Garoche almost 7 years ago
ACSL spec: produce memory related properties: valid pointers, speration, assigns