Lars - he/him
Lars - he/him
So none of the GPUGPU examples are working, which is quite terrible. But that has also todo with the very old version of VerCors that is running? Since I cannot...
So some examples become a lot more complicated, such as `parallel-blocks-?-complicated-parallel-blocks-nested-parallel-blocks-1.pvl` This verifies on dev atm: ```pvl //:: cases parallel-blocks-?-complicated-parallel-blocks-nested-parallel-blocks-1 //:: verdict Pass //:: tools silicon class Test { context_everywhere...
> > I fixed some low hanging fruit. But for a total fix, we need the website to run at least some later version of VerCors. So I'll stop for...
For seqs this does not work anymore: ```java //:: cases axiomatic-data-types-sequence-examples-distinct-element-1 //:: verdict Pass //:: tools silicon class Test { pure boolean distinct(seq s) = (\forall int i; 0
```java class SetComp { requires 0 = 0 && x
Ah yes it is there! I just missed it
> > I think it is a good idea to always run the CI on the wiki examples, since that forces us to keep those examples working. > > Me...
> > I fixed some low hanging fruit. But for a total fix, we need the website to run at least some later version of VerCors. So I'll stop for...
Crash report: Missing: Quantified resource aloc(optGet1(boxes), i).ref.value might not be injective.
(Same error on commit: 4d4937c691415c926e6935bbad95abc5685499b3 from branch `dev`)
It seems to be fixed by @superaxander now, so I'll close it!