viper-admin

> **@mschwerhoff** commented on 2019-11-16 14:58 This issue wasn't actually resolved, as can be seen when replacing each `wildcard` by `1/2` or `write`. It is merely a coincidence that the...

> **@mschwerhoff** on 2019-11-16 14:58: > * changed `state` from `resolved` to `open`

> **@mschwerhoff** commented on 2014-02-21 09:38 What's the issue here?

> Bitbucket user **ykass** commented on 2014-02-21 15:46 The precondition of foo2 is self-framing, but Silicon reports an error.

> **@mschwerhoff** on 2014-03-17 09:45: > * changed `component` from `(none)` to `Quantified Permissions` > * edited the description

> **@mschwerhoff** commented on 2014-09-10 13:47 This issue is actually not related to quantified permissions, but it still looks as if the problem were splitting sequences. It verifies in Carbon,...

> **@mschwerhoff** on 2014-09-10 13:47: > * changed `component` from `Quantified Permissions` to `(none)`

> **@mschwerhoff** commented on 2014-09-15 14:25 The problem is most likely that Silicon doesn't find a chunk that matches `s[i]` for an arbitrary `i in [0..2)`. This makes the issue...

> **@mschwerhoff** on 2014-10-06 08:21: > * changed `component` from `(none)` to `Quantified Permissions`

> **@mschwerhoff** on 2014-10-06 08:22: > * changed `component` from `Quantified Permissions` to `(none)`