viper-admin
viper-admin
> Created by **@fpoli** on 2018-07-23 14:25 > Last updated on 2019-05-14 08:55 When building a function application, the `FuncApp` class requires: - the name of the function, - the...
> Created by **@mschwerhoff** on 2018-08-26 09:52 > Last updated on 2019-04-30 09:31 Any kind of multi-phase operations on ASTs is difficult to get right because there is no good...
> Created by **@alexanderjsummers** on 2019-01-29 14:22 Important points (e.g.): Recursive calls in function bodies are handled via limited functions, Calls in function postconditions are not necessarily safe from matching...
> Created by **@fpoli** on 2019-01-15 15:09 > Last updated on 2019-01-15 15:15 The data races reported in have been quickly fixed in pull request https://github.com/viperproject/silver/pull/408 by using `AtomicIntegers`. The...
> Created by **@alexanderjsummers** on 2017-05-15 17:02 > Last updated on 2018-10-15 15:36 When running the following: ``` #!scala domain Array { function loc(a: Array, i: Int): Ref function len(a:...
> Created by **@alexanderjsummers** on 2018-10-10 12:56 There's no issue tracker for the tutorial generator; in any case, it seems easier to keep track of the idea here.
> Created by **@alexanderjsummers** on 2018-10-03 16:09 > Last updated on 2018-10-03 16:12 The current rules in the AST (see the QuantifiedPermissions object) rewrite certain special cases of quantified permissions...
> Created by **@alexanderjsummers** on 2015-03-12 11:20 > Last updated on 2018-08-17 08:53 In the case where Silicon reports only one error on a particular line, and Carbon produces more...
> Created by **@alexanderjsummers** on 2014-11-10 14:32 > Last updated on 2018-06-09 12:24 In some cases, trigger generation is sensitive to the way in which arithmetic is expressed, since arithmetic...
> Created by bitbucket user **goltzc** on 2018-05-09 11:35 > Last updated on 2018-05-09 11:50 These quotes trigger an exception when opening a file containing them in vscode: ``` “...