Tim Hutt

In the RISC-V world "reserved" usually means anything can happen, basically the same as C's Undefined Behaviour. It's not spelled out anywhere very explicitly unfortunately and it isn't actually universal....

Fixes https://github.com/dalance/svls/issues/346 (I reported that in the wrong repo; oh well).

Updated. I guess there's a slight issue in that the `testcases` are used both as tests and as examples in the manual. I added `"DPI-C"` to it because I want...

Any chance this could be merged?

Yeah sure if you can give me some hints where to look?

Thanks, great logging capabilities! So the problem is `V3Options::filePath()` gets given the "hashed" string (with `__Vhsh` in it) and it doesn't dehash it. If I add dehash calls like this:...

> You can do 1 already in Make if you write the file properly, we have that in sail-cheri-riscv. Ah you mean [this](https://github.com/CTSRD-CHERI/sail-cheri-riscv/commit/46a1ab172d7871b99db152b4d65310394037a411)? We should do that in this repo...

I also agree Bazel is probably the more correct option. However I have had very little success convincing colleagues to use it at two different companies even we inevitably ran...

> Is Basel good for builds on multiple platforms (Various Unix, MacOS, Windows)? Yeah it works on those platforms. It can also deal with dependencies a lot better than CMake,...

> The current compilation strategy for Sail is quite unfriendly towards speeding up the build using caching unfortunately. I was more thinking about the caching of the whole process. We...