Lars - he/him

> @sakehl in its current state this PR has a negative performance impact on the C examples, specifically [examples/concepts/c/structs.c](https://github.com/utwente-fmt/vercors/blob/cf26fffd17f9a4f408b7a2b9dd9853a419073543/examples/concepts/c/structs.c) now takes a little over a minute. Do Hmm, all my...

> Additionally, I'll add support for taking differently typed pointers to a struct. (i.e. an integer pointer pointing to a struct is the same as pointing to the first element)...

> > > Additionally, I'll add support for taking differently typed pointers to a struct. (i.e. an integer pointer pointing to a struct is the same as pointing to the...

Hmm sorry, this behaviour was already possible without any of the things you are doing. E.g. ```c #include void f(){ int *xs = (int *) malloc(sizeof(int)*2); xs[0] = 1; xs[1]...

Additionally, if you write ```scala assert (forall j: Int :: { aloc(x0, j) } 0 (unfolding hide0(x0,n,j) in aloc(x0, j).int) == 0) ``` I.e. For the trigger of the quantifier,...

Fixed in #1219

Awesome! I've got some changes lying around and want to merge soon with this PR (https://github.com/utwente-fmt/vercors/pull/1347), which should help GPU support. Specifically for triggers. it is already working fine, but...

Glad to help! Just let me know if you have further questions. Also the developer's guide is probably useful: https://pieter-bos.github.io/vercors-doc/

I think probably @superaxander also might want to have a look. And of course the tests should all pass before merging. Unsure what is going on there atm. Also I...

#1347 is merged now, if you need help with merge conflicts shoot me a message, but probably they are not to hard.