Lars - he/him
Lars - he/him
No clue though: 
Something todo with this:  But I'll leave at this for now
I see I never responded to this. I'm pretty sure the 'griddimX == 2' is from a viper file that comes from a different cuda file, where I made the...
A few thought > But how do we recognise for a specific case that we are working in C and should allow this coercion? This is exactly why I introduced...
Ow interesting, I've thought a lot about this as well. structs and fields of structs should work easily indeed, since they are translated to `refs` in viper already. More interesting...
Looking at the code, you make a variable a pointer, whenever address of is used of that variable. Which is nice. I wonder how that works with parallel blocks and...
> An additional note about this: > > > To get this to work I had initialise the inner struct whenever the outer struct is initialised since otherwise you don't...
I've made changes towards the things you requested, let me know if you need anything else!
In the math.c file I have these examples ``` #include #include int main(){ // TODO: Below test case fails, although given directly to silicon it does not fail, no clue...
I discussed this wat Lukas yesterday. So for my struct definition, and unpacking permissions, I never considered global variables. So normally, with non globals, this: ``` Perm(accs, 1\2) ``` leads...