viper-admin

> **@fabiopakk** commented on 2018-08-17 08:53 I'll bring a few other points to this discussion: * The purpose of a test case is generally to report or document a specific...

> Bitbucket user **nilsbecker_** on 2019-02-27 19:52: > * edited the description

> Bitbucket user **nilsbecker_** commented on 2019-09-30 15:45 Updated log file to one generated with a newer version of z3

> Bitbucket user **nilsbecker_** on 2019-09-30 15:45: > * changed `attachment` from `(none)` to `z3.log.zip`

> Bitbucket user **nilsbecker_** commented on 2019-09-30 15:50 Since we introduced handling of term rewritings done by z3 this mostly works now: We get `f(+(1, T))` in the generalized yield...

> **@mschwerhoff** commented on 2017-11-26 15:34 See also

> Bitbucket user **nilsbecker_** on 2019-02-27 20:22: > * changed `kind` from `enhancement` to `proposal`

> **@mschwerhoff** commented on 2016-03-27 14:26 ### Technical problem ### The unexpected verification failure is caused by a triggering problem: in the reported example, `loc(unfolding ..., j)` is the only...

> **@mschwerhoff** on 2016-03-27 14:26: > * changed `attachment` from `(none)` to `0228.sil`

> **@alexanderjsummers** commented on 2016-03-27 21:11 This sounds like a fix that should ideally be automated. Maybe we should talk about how that can be done (if a solution isn't...