Alasdair Armstrong
Alasdair Armstrong
Hi, I've been working on a formatter for a language with C style line comments, and I've ran into an issue with the behavior of hardline and nest that is...
It was brought to my attention that this instruction had a bit of a case of the 'boolean blindness' code smell, where the mul operation was represented as a triple...
Sail has for a while now had a flexible way of passing additional information to either operational or axiomatic concurrency models by instantiating outcomes (effects) with model-specific types. The set...
In https://github.com/riscv/sail-riscv/issues/368#issuecomment-1846210592 it was suggested to add a Sail version check to prevent errors where some Makefile invocation fails mysteriously due to a too old version of Sail. I'm not...
Refactor the LOAD and STORE instruction so they split misaligned accesses into multiple sub-accesses and perform address translation separately. This means we should handle the case where a misaligned access...
I am opening the PR primarily to get feedback on one of the main things I have been slowly working on w.r.t. the sail-riscv model. Right now the model is...
I think the README needs to be updated for the new CMake build system as says: ``` make -C build riscv_sim_rv64f_rvfi ``` but this doesn't work until you've run CMake...
The virtual memory code had `// PUBLIC:` and `// PRIVATE:` comments describing the intended usage of various identifiers. This can now be enforced using the Sail `private` keyword. I left...