-
Notifications
You must be signed in to change notification settings - Fork 25
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#588 In viperproject/carbon;
- Status: Open.#584 In viperproject/carbon;
Carbon does not "frame" trigger-matching heap-dependent functions which depend on QPs (without help)
Status: Open.#583 In viperproject/carbon;Incorrect encoding when predicate arguments in fold contain permission introspection
bugSomething isn't workingSomething isn't workingStatus: Open.#577 In viperproject/carbon;Heap location is added to the known-folded permission mask in fold statements even if the permission amount is zero
bugSomething isn't workingSomething isn't workingStatus: Open.#576 In viperproject/carbon;Known-folded permissions are not updated in unfold statements leading to unsoundness
bugSomething isn't workingSomething isn't workingStatus: Open.#572 In viperproject/carbon;- Status: Open.#569 In viperproject/carbon;
Incorrect encoding when the predicate argument in an unfold statement contains a permission introspection of the same predicate
bugSomething isn't workingSomething isn't workingStatus: Open.#568 In viperproject/carbon;- Status: Open.#567 In viperproject/carbon;
- Status: Open.#564 In viperproject/carbon;
- Status: Open.#557 In viperproject/carbon;
- Status: Open.#525 In viperproject/carbon;