Edmund Lam

I'm having a similar issue: having `.svlint.toml` disables all vscode highlighting for all syntax warnings. I've tested this with `.svlint.toml` copied from some of the templates, and this is still...

The same is true for the port name `expect`

I have the same issue, given a bounding of `[A, B]` I have found I actually get values sometimes within `[A-1, B+1]`.

Closing this as it has been moved to [parafil-evaluation](https://github.com/cucapra/parafil-evaluation).

How do we plan on testing the XLS gen framework in GHA then? A separate XLS install?

What do you mean by "circuit properties"? Are we talking about the `assume` statements used to speed up compilation?

This would make for example the evaluation code from the paper way easier to implement - we would simply have externally provided parameters to change whether we are using `XLS`,...

I propose a syntax possibly like follows: ```rust comp Butterfly[W, E, ?M=W-E-1] ( out0[2]: ['G+L, 'G+L+1] W, out1[2]: ['G+L, 'G+L+1] W ) with { extern T = 1; // 1...

Thats great, I'll take a look at that.

We can also rewrite some of the gen interfaces to allow us to specify this as an extern which would be really cool!