viper-admin

> **@alexanderjsummers** commented on 2019-08-28 10:25 Did you post on Stackoverflow, Malte? Now that I look at it again, it’s slightly surprising that the incompletenesses are so basic \(especially since...

> **@mschwerhoff** commented on 2019-08-28 21:03 ‌ @alexanderjsummers I don’t remember, but I can’t find a corresponding post/issue on Stackoverflow/Github, so probably … not.

> **@mschwerhoff** commented on 2018-04-04 08:45 There are two orthogonal issues here: 1. Silicon generates invalid SMT code: that is clearly a Silicon bug 2. Viper Online ignores the problem...

> **@mschwerhoff** on 2018-04-04 08:45: > * edited the title

> **@mschwerhoff** commented on 2018-05-05 20:56 * Depends on * Another example is included in a comment in ~~~~ * Same symptom, but different root cause:

> **@mschwerhoff** commented on 2019-05-08 14:00 Silicon is able to verify false in this example. ``` #!Silver field next : Ref method join() { assert false } domain Foobar {...

> **@mschwerhoff** on 2019-05-08 14:00: > * changed `priority` from `blocker` to `major` > * edited the title > * edited the description

> **@alexanderjsummers** on 2019-08-28 09:34: > * edited the description

> **@alexanderjsummers** commented on 2019-08-28 09:35 The issue was fixed, but the code wasn't valid Viper code

> **@alexanderjsummers** on 2019-08-28 09:35: > * changed `state` from `new` to `resolved`