Samuel Riedel
Samuel Riedel
Thanks a lot for discovering this @maxbjurling. We will look into fixing this.
This PR is similar to https://github.com/lowRISC/ibex/pull/2062. I am not the expert on these tools, but it might be useful to check out the discussions that were held there as well....
Thanks for bringing this up. I'll just add some context to this until we update the compiler and make the new march string the default everywhere. The reason for this...
> Lots of nitty comments on the draft (sorry, but I'd started reading so thought I may as well review it properly...) > > I _really_ like this though! Thank...
Here are the regression results when running the full regression with the new compiler and the Zcb/Zcmp tests included. Note, those tests do not include the bitmanipulation tests, because the...
I also agree with using a standardized way that is easier to parse for machines and humans, and the format looks good to me so far. We could start with...
As far as I know, the reason is just that we haven't needed it so far in the traces. But people working on the formal verification can correct me. However,...
Hi. Which package files are you missing?