viper-admin

> **@alexanderjsummers** on 2013-09-10 22:36: > * edited the description

> **@alexanderjsummers** commented on 2013-09-10 22:38 This seems conceptually related to the incompleteness we discussed recently: inhale acc(y.f)&&acc(z.f)&& (x==y || x==z); exhale acc(x.f) will not succeed.

> **@mueller55** on 2014-09-22 13:54: > * changed the assignee from (none) to **@mschwerhoff**

> **@mueller55** on 2015-02-19 15:57: > * changed `priority` from `major` to `minor` > * changed the assignee from **@mschwerhoff** to (none)

> **@mschwerhoff** commented on 2017-09-23 13:44 The non-greedy consume algorithm implemented as part of robinsierra's bachelor's thesis solves this problem. For now, this algorithm is not used by default, it...

> **@mschwerhoff** commented on 2017-09-23 13:47 See also ,

> **@mschwerhoff** commented on 2019-12-24 10:31 See also . ‌

> **@mschwerhoff** on 2019-12-24 10:31: > * edited the title > * edited the description

> **@fabiopakk** on 2020-02-03 13:32: > * edited the description

> **@fabiopakk** on 2019-01-21 08:31: > * edited the title > * edited the description