viper-admin

> **@mschwerhoff** on 2015-06-08 15:20: > * changed `component` from `(none)` to `Quantified Permissions`

> **@mueller55** on 2015-06-11 15:29: > * changed the assignee from (none) to **@mschwerhoff**

> **@mschwerhoff** commented on 2015-07-14 11:48 **In order to document the issue, here is a copy of a mail in which I explained the issue:** This issue essentially says that,...

> **@mschwerhoff** on 2015-07-14 11:49: > * changed `priority` from `major` to `minor` > * changed `component` from `Quantified Permissions` to `(none)`

> **@mschwerhoff** on 2015-11-16 14:46: > * changed `kind` from `bug` to `enhancement` > * edited the title

> **@mueller55** on 2015-11-16 16:42: > * changed the assignee from **@mschwerhoff** to (none)

> **@mschwerhoff** commented on 2016-04-10 17:24 See also ,

> **@mschwerhoff** commented on 2016-06-22 16:34 was marked as a duplicate of this issue.

> **@mschwerhoff** commented on 2017-09-23 13:45 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-25 10:25 See also [Viper-IDE issue #93](https://bitbucket.org/viperproject/viper-ide/issues/93)