viper-admin

> **@mschwerhoff** commented on 2015-03-03 11:53 was marked as a duplicate of this issue.

> **@mschwerhoff** commented on 2015-10-26 18:53 was marked as a duplicate of this issue.

> **@mschwerhoff** commented on 2016-03-30 14:22 Examples: ``` #!text method test05(c1: Ref) requires acc(pred_val(c1)) { var c2: Ref; c2 := new(val) unfold acc(pred_val(c1)) assert c2 != c1.val // FAILS }...

> **@mschwerhoff** commented on 2016-03-30 14:23 See also [Carbon issue 126](https://github.com/viperproject/carbon/issues/126)

> **@mschwerhoff** commented on 2019-03-02 22:27 Directly related:

> **@alexanderjsummers** on 2018-10-15 15:36: > * changed the assignee from (none) to **@fpoli**

> **@fpoli** commented on 2019-05-03 15:06 I thought a bit more about this. The proper consistency check for the `FuncApp`AST node should lookup by name the function from the verified...

> **@mschwerhoff** commented on 2019-05-03 15:11 @fpoli I'm not sure the additional argument is necessary \(it would also look odd for `Program.check`/`checkTransitively`, and it would make it possible to pass...

> **@fpoli** commented on 2019-05-03 15:49 I see. I'll check how to do the checks at the top. If such checks are already done in `Program` I can remove them...

> **@fabiopakk** commented on 2019-05-14 08:55 I guess checkTransitively is the right place to do such check. However, after producing the Parse AST, there’s a semantic check which currently is...