diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-27 00:12:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-27 00:12:26 -0700 |
commit | fa833542f0e96187b3a02c4e15ec33ba45428b62 (patch) | |
tree | 649809fcc16a8308da86acd528a70eba338d4858 /NEWS | |
parent | ccd4500c03685952ebf571b3539bd9e29c829cb5 (diff) |
Add API for retrieving separation heap/nil term (#4663)
This commit extends the API to support the retrieval of heap/nil term
when separation logic is used and changes the corresponding system test
accordingly. This commit is in preparation of making the constructor of
`ExprManager` private.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,5 +1,12 @@ This file contains a summary of important user-visible changes. +Changes since 1.8 +================= + +Improvements: +* New API: Added functions to retrieve the heap/nil term when using separation + logic. + Changes since 1.7 ================= |