Tim Hutt
Tim Hutt
I think it's probably a good idea to add the mechanism for specifying the priv/unpriv spec version (i.e. a version enum, checking function and command line flags) before adding any...
Ah very subtle but that makes sense. I'll leave this issue open so we add a comment to the code.
Yes I agree there should be a single scattered function; no `ext_...`.
I'll merge this in a couple of days if nobody objects. @ved-rivos what would you say your highest priority PR is? I think it would be good to get some...
I looked into this a bit more. The issue is this code in the Sail OCaml backend: ``` let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/lib/elf_loader.ml .")...
> I don't know how we can restrict this with types. You should be able to make the widths of everything type parameters. One issue is that there are quite...
I've looked into this a fair bit. Here are some things that I found to speed it up, all found via profiling the C emulator using gperftools. All but the...
TLB change is here: #498 Anyway I'll close this since it's a question and I think it has been answered: the main optimisation to do is switch between GMP and...
@Incarnation-p-lee you might be interested in some of this code, especially these functions - took me a little while to get the types figured out! ``` // Split a floating...
I think this probably failed to using an old version of Sail. I will make a PR to update it.