Nimalan

Test has incorrect lowering

3

The test [file-tests/should-lower/hoist.fuse](https://github.com/cucapra/dahlia/blob/master/file-tests/should-lower/hoist.fuse) fails typecheck as there is an out of bounds access `let w = b[10 * 12];`. However when `--lower` is present it seems to pass. ``` decl...

The following can be compiled ``` let C: float[32 bank 4]; split split_C = C[by 2]; for (let i=0..2) unroll 2 { for (let j=0..16) unroll 2 { split_C[i][j]; }...

Typechecker Issue

3

The typechecker catches this ``` let arr: ubit[10][10]; let perm: ubit[10]; for (let i=0..10) { let x = perm[i]; let y = perm[i+1]; let v = arr[x][y]; } ``` ---...

There is an issue in posit subtraction that causes the following to returns an incorrect result. Issue is most likely due to incorrect regime bit being created ``` nbits -...

Question on wishlist item jest

3

I was exploring the community and came upon this request, thought I can help out. I don't think completely porting `jest` to `deno` is a solution. Maybe a jest `test-runner`...

Parse error for large constants

2

I'm evaluating a Calyx binding I created for posits. I was trying to test the accuracy of 128 bit posits when I noticed that Calyx can't parse literals larger than...