Tim Hutt
Tim Hutt
Is there a reason Ibex's RVFI interface doesn't support CSR writes? I'd like to add it so we can trace CSR writes. Note there appear to be two different approaches:...
There are a few signals in the tracer module that aren't printed to the output file: ``` // These signals are part of RVFI, but not used in this module...
The linked issue was resolved 6 years ago so it's probably safe to use the new flag. Draft because I'm not sure how to actually test this. Is it used...
Draft RFC to add an alternative format for package.json that allows comments. I need to look into the implementation, and I'm sure there will be bikeshedding over the actual format...
Running this for the first time (in the `verify-rust-std` repo)... ``` ./scripts/run-kani.sh --path . --kani-args --harness alloc::layout::verify::check_array_i32 --output-format=terse ``` gives ``` + curl -L --remote-name https://github.com/diffblue/cbmc/releases/download/cbmc-6.7.1/ubuntu-25.04-cbmc-6.7.1-Linux.deb % Total % Received...
Hi, I'm considering using Starlark as a config file format - where you might normally use JSON or YAML or TOML via Serde. So for example instead of a config...
This issue is to track my grand plan for improved tooling to handle spec updates. It touches a few repos - [the Sail compiler](https://github.com/rems-project/sail), [sail-riscv](https://github.com/riscv/sail-riscv/), [the new arch tests](https://github.com/riscv-non-isa/riscv-arch-test/tree/act4)... but...
Going back to at least the 2019 version of the spec, it says: > The transitions labeled ◦ can always be taken eagerly, as soon as their precondition is satisfied,...
Add Makefile targets to download the Sail JSON bundle from Github releases (it's a few MB so this avoids bloating the repo). I updated a few scalar crypto functions that...
It would be cool if Samply supported the format used by [pprof](https://github.com/google/pprof) because that has by far the best visualisation of profiles I've ever used (as long as you don't...