viper-admin

> **@mschwerhoff** commented on 2018-06-09 12:24 Also see `all/issues/silver/0067.sil`, which was originally reported as [Silicon issue #251](https://github.com/viperproject/silicon/issues/251) and [Carbon issue #159](https://github.com/viperproject/carbon/issues/159).

> **@fabiopakk** commented on 2019-10-04 13:31 The following files from Examples repository are currently being ignored because they are taking to long to verify after Z3 was upgraded \(version 4.8.7...

> **@gauravpartha** on 2019-11-04 16:49: > * changed the assignee from (none) to **@gauravpartha**

> **@fabiopakk** commented on 2019-11-15 09:32 The following file is taking a long time even with Z3 4.8.6 \(stable release\): * vmcai2016/linked-list-predicates-with-wands.sil ‌

> **@fabiopakk** commented on 2019-11-29 15:58 Added file arrays\_quickselect\_rec.vpr, as it was ignored before for taking too much memory to verify. Now an issue of another nature is revealed about...

> **@fabiopakk** commented on 2019-11-29 17:25 The following files presents issues only in the build server \(verification never ends\), however on my local machine the finish in a timely manner:...

> **@fpoli** commented on 2019-11-29 18:09 I tried to identify the first Z3 commit that causes the example `cav2017/FencesDblMsgPass.sil` to take more than 35 seconds using `git bisect`. The first...

> **@fabiopakk** commented on 2020-02-11 15:46 Adding one more file: ‌ * quantifiedpermissions/third\_party/testHistogramFull.vpr ‌

> **@mschwerhoff** commented on 2014-11-03 13:16 I contacted Tony Sloane (the guy behind Kiama) and asked him if it is possible to get the original input that gave rise to...

> **@mschwerhoff** commented on 2017-11-26 14:45 At the time of writing, parsing ```text method test() { var p: Bool var q: Bool q := p/2 } ``` yielded the error...