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