viper-admin

> **@mschwerhoff** commented on 2016-03-28 11:35 The attached file demonstrates that the problem is unrelated to QPs

> **@mschwerhoff** on 2016-03-28 11:35: > * changed `attachment` from `(none)` to `test23.sil`

> **@mschwerhoff** on 2016-03-28 11:36: > * changed `component` from `Quantified Permissions` to `(none)` > * edited the title

> **@mschwerhoff** commented on 2016-03-28 11:41 See also [Carbon issue 124](https://github.com/viperproject/carbon/issues/124)

> **@mschwerhoff** commented on 2015-11-20 14:36 This is essentially an incompleteness of Z3's non-linear real arithmetic solver (apparently in combination with the theory of uninterpreted functions plus quantifiers), as demonstrated...

> **@mschwerhoff** on 2015-11-20 14:37: > * changed `component` from `(none)` to `Z3`

> **@alexanderjsummers** commented on 2015-11-24 16:03 See also [the analogous Carbon issue](https://github.com/viperproject/carbon/issues/83)

> **@mschwerhoff** on 2018-03-02 19:59: > * edited the title > * edited the description

> **@mschwerhoff** on 2018-03-02 19:59: > * edited the title

> **@mschwerhoff** commented on 2018-03-02 20:00 was marked as a duplicate of this issue.