Tim Hutt
Tim Hutt
Currently LR/SC reservation is done using virtual addresses: if match_reservation(vaddr) == false then { And there is this comment: ``` /* We could set load-reservations on physical or virtual addresses....
One aspect of the spec that makes it quite hard to read is the prose-based style. A good (bad) example of this is CSR fields, e.g. `mstatus`. It's easy enough...
It is very useful for specs to be linkable, for example to link coverpoints, test plans, tests, etc. to specific statements in the spec. This allows you to ensure that...
When I first started learning RISC-V I started by only reading the unprivileged spec, and trying to make a simple processor based on that. That's turned out to be extremely...
Suppose you have a virtual memory access that spans a page boundary of two pages that are not contiguously mapped to physical memory. This means you'll be doing two accesses....
Try this one: http://www.roughdraft.io/7f57c09132514d674181
Failing code ------------ ```dafny method MaxSum(x: int, y: int) returns (s: int, m: int) ensures m >= x && m >= y ensures m == x || m == y...
It would be nice if this warning had a "don't show again" option: > .svlint.toml is not found. Enable all lint rules.
Would be great if this supported Go To Definition.
The stubs for [`lxml.builder`](https://lxml.de/apidoc/lxml.builder.html) are missing.