Rachit Nigam

Yup! You’re absolutely right about this! Some sort of structured “step” syntax seems useful because it keeps the constraints simple/tractable. I think I have an idea on how we can...

This seems interesting but I don't quite yet understand the example you've used to motivate the problem. Can you either draw out the pipeline to show *how* exactly the registers...

Yeah, this is a problem because we import everything into the same global namespace. A better solution would require thinking about modules (#118) and explicitly reasoning about the bindings that...

This is because Calyx cannot represent complex parameter expressions which limits what kinds of parameters can be specified in external definitions. Two possible solutions: 1. We show an error when...

Yeah, I think framing this as "instance bundles" is not a bad idea at all and perhaps can be a syntactic feature (#138) but we need to be careful about...

Thanks for getting started on this! One important thing to mention here is that `log2` and `pow2` are *type-level* functions which means that can be used in availability expressions. I'm...

That list is a good starting point it seems! Although quite weird that trigonometric functions are also exposed. As a medium term, bandage solution, we could consider implementing all of...

Yeah, that sounds like a good idea! I would go as far as saying that there should be no flag that allows you to have `sin` and `cos` in liveness....

This is even more tricky because we can't even encode the axioms for `floor` because it is a function over reals and not integers. It would require us to reason...

The code in the example is not quite right. If we want to compute K = 2^N, then we have to do: ``` comp Pow2[N](); exists K = 2 *...