Adrian Sampson

Got it; thanks, @jiahanxie353! Here's my suggestion about how to deal with including external source code like this. I think we have two options: * Check the HardFloat Verilog released...

I see! Good question… do you think you could elaborate a tiny bit more on the problem that each of these changes would solve? Here is my guess, but I...

Ah, yes, thank you for articulating the downside. It would cost a lot of complexity! And, as you say, create two implementations to test for every possible plan. I guess...

Thanks for all the details, @jiahanxie353! About the general problem of including the right files in the HardFloat release: * Regarding the import of `HardFloat_specialize.v[i]`: Looks like the [HardFloat manual](http://www.jhauser.us/arithmetic/HardFloat-1/doc/HardFloat-Verilog.html)...

Dang, this is awesome.

All these proposals sound great.

Documenting this so it's easy to "turn the crank" sounds great. Even more ambitiously, at some point you can imagine automating some of the mechanical stuff (such as the Cargo...

It has probably changed directory to a temporary directory that was then subsequently deleted. The thing to do here would be to track down which stage is forgetting to `chdir`...

Hmm; this is an interesting point. Here are two very tentative thoughts, which are kind of connected: 1. It would be nice to keep around the `readmemh`/`writememh` option as one...

Ah, taking a glance at the generated Verilog, I think you're right. (For some reason, I had it in my head that it was replacing the externalized memories with special...