viper-admin

> **@mschwerhoff** on 2017-11-26 14:45: > * edited the description > * changed `priority` from `major` to `minor` > * changed `component` from `(none)` to `Parser`

> **@fabiopakk** commented on 2020-02-06 13:09 Perhaps this issue shouldn’t be placed in Silver, but rather one of the two backends. Particularly Carbon seems to be giving the wrong result.

> Bitbucket user **jonhdotnet** on 2018-11-20 22:55: > * changed `kind` from `bug` to `proposal` > * changed `priority` from `major` to `minor`

> **@alexanderjsummers** commented on 2019-09-16 10:32 This would indeed be a nice feature. Right now the tool isn’t being very actively developed; I suppose an hg commit hash serves as...

> **@alexanderjsummers** on 2017-03-26 11:04: > * edited the description

> **@alexanderjsummers** on 2018-04-28 12:43: > * edited the description

> **@fpoli** on 2018-09-28 13:57: > * edited the description

> **@mschwerhoff** commented on 2018-09-28 14:01 Could you please post the visual representation of the CFG? `silicon --printMethodCFGs`, then convert the generated Graphviz file to an image.

> **@fpoli** commented on 2018-09-28 14:25 

> **@fpoli** commented on 2018-09-28 14:28 Small variation: ```silver field foo: Bool method main(x: Ref, b: Bool) { label loop inhale acc(x.foo) assert acc(x.foo) // ERROR: While statement might fail....