Fredrik Kjolstad

Note: This lets us reduce the size of the tetrahedral neo-hookean FEM example code.

Automatic type casting (int->float)

3

Right now Simit is very particular about the type of literals, and does not automatically cast floats to ints. This results in a type error for this code: ``` a...

Need function to get the cardinality of a set. Maybe `len` or `size`.

Mesh Loader Attributes

15

The [mesh loader](https://github.com/simit-lang/simit/blob/master/src/mesh.h) currently supports loading topological data from [tetgen`.ele`, `.edge` and `.node`](http://wias-berlin.de/software/tetgen/fformats.html) files. It needs to be extended to load attributes, either from tetgen files, such as [`.node` files](http://wias-berlin.de/software/tetgen/fformats.node.html)...

abs and fabs

1

Add an intrinsic to compute the absolute value of scalar ints and floats.

We need support for variables in global scope, specifically `tensor` and `opaque` variables. This is needed to precompute matrices, vectors and opaque solver objects that don't change between time steps...

If a tensor variable is named free then the backend assert fails, presumably because there are internal functions named `free`. The following test fails: ``` func main(a : vector[2](int)) ->...

Stencil assembly fails when stencil inputs are assigned to variable

3

The following code causes a stencil assembly to fail: ``` self = l[0,0;0,1].a + l[0,0; 0,-1].a + l[0,0;1,0].a + l[0,0;-1, 0].a; vnMat(orig,orig) = self; ``` The error message is: ```...

These builtins use Eigen to factorize matrices and solve triangular systems, which does not support GPUs. We'd need to build a separate runtime system that uses some other library (which?)...