Rachit Nigam

Hey, we have something that will help with the problem: http://www.stopify.org/ We built a source to source compiler for JS that can instrument programs to prevent them from freezing the...

Yeah, the initial commit to the compiler didn't fix these issues. Feel free to either ignore them or fix them.

@cgyurgyik @sgpthomas @sampsyo: I'm not sure how like this issue being fixed is. None of us "own" the MrXL frontend and, since it's not a primary frontend, have any incentive...

@EclecticGriffin where did you get the code and data from for lenet in the Cider eval repo? I would like us to compile lenet from scratch (from relay) in the...

Outlining an implementation sketch for anyone interested in implementing this. The current [std_mult_pipe][smp] is actually already pipelined internally so that Xilinx tools infer them as DSPs. However, the interface does...

One idea for doing this is using the primitives generated from Filament designs and exposing two ports: One that allow access to the pipelined execution and another one that registers...

`std_fp_div_pipe` uses the following (#1217): ``` always_comb begin if (acc >= {1'b0, right}) begin acc_next = acc - right; {acc_next, quotient_next} = {acc_next[WIDTH-1:0], quotient, 1'b1}; end else begin {acc_next, quotient_next}...

`fp_sqrt` uses blocking assignments in the main, `always_comb` block.

There is some description of what `@stable` does in the documentation: https://docs.calyxir.org/lang/attributes.html#stable

So there are two ways to interpret it and I guess I've conflated them somewhat: 1. A `@stable` marked port is directly connected to some register in the component and...