Nathaniel Wesley Filardo
Nathaniel Wesley Filardo
(While writing #391, I noticed...) §3.13 makes repeated reference to capabilities "hav[ing] infinte bounds (see Section 2.1)", but the very short §2.1 does not define the term. Instead, that definition...
https://github.com/zhaojh329/lua-eco/blob/3b69a48ca3ac50f48ea0a09996d78e49b72a44ca/mqtt.lua#L181 will retransmit messages even if the TCP link is healthy, such that the earlier copies are still likely to reach the broker. AIUI, retransmission should occur only in the...
Split out from and sitting atop #617, the last commit here is the salient one. This factors out the I base register system, with its 32 registers, and then offers...
As of writing, [cbld_32bit.adoc](https://github.com/riscv/riscv-cheri/blob/1ffc7977db7ba014da46da2e521d1d777a8129a6/src/cheri/insns/cbld_32bit.adoc) and the [corresponding sail](https://github.com/CHERI-Alliance/sail-riscv/blob/4f1dae4d0d38348a83dd8f3d670264330c767a22/model/cheri/cheri_insts.sail#L523-L557) (which mostly relies on [`capIsSubset`](https://github.com/CHERI-Alliance/sail-riscv/blob/4f1dae4d0d38348a83dd8f3d670264330c767a22/model/cheri/cheri_cap_common.sail#L511-L531)) permit constructing a tagged capability that is both - arbitrarily attenuated (or not) from a capability held...
The current draft of the privileged specification is not particularly clear about ASR-gating of CSRs. - "4.1. Machine-Level CSRs added or extended by Smcheri" says > [[asr_perm]](https://riscv.github.io/riscv-cheri/snapshot/privileged/#asr_perm) in the [[pcc]](https://riscv.github.io/riscv-cheri/snapshot/privileged/#pcc)...
Hi, it's me with a CHERIoT-vs-Zcheri thing again, sorry. TL;DR: can we add a note to the spec that `cbld` might be removed by Zcheri extensions, like they can opt...
CHERIoT software occasionally finds it useful to answer "what is the largest[^largest] representable span with a fixed base and less than a given length". In particular, this lets us slice...
I'm unsure whether this is deliberate and this bug should instead apply to https://github.com/influxdata/docs-v2/blob/67963c8e560ca38e7f61162ffbd2682b50300635/content/influxdb3/core/install.md , which simply offers `amd64`/`x86_64` builds of Influxdb v3, suggesting pretty wide architectural support, but here...
### Is your feature request related to a problem? Please describe. I find myself wanting to generate some configfiles entirely in Lua. At the moment, I am doing this with...
### Xmake Version v2.9.7+dev.686b414 ### Operating System Version and Architecture GitHub CI ubuntu-22.04 ### Describe Bug `xmake update dev` completes its own installation when run under `strace` (and so is...