MessageAuthorAge
npro-core, npro-test: follow C's state table to bd9c8170 []Andy Green3 days
npro-test: sync the transcripts with C lws main-dev bd9c8170 []Andy Green3 days
docs: port plan: phase 1b is done, and how it departs from the plan []Andy Green3 days
npro-test: hold the state machines to C's table and C's trace []Andy Green3 days
npro-core: the connection state machines, from C's event table []Andy Green3 days
docs: sai: the icacls example lost its indent []Andy Green3 days
meta: the -Wextra of Rust, and AGENTS.md's rules as lints []Andy Green3 days
fuzz: libFuzzer targets, run by sai on push and in idle time []Andy Green3 days
npro-fuzz: fuzz harnesses with oracles, smoke-tested everywhere []Andy Green3 days
meta: admit dependencies only by name []Andy Green3 days
docs: sai: base image and overlay sizes, and rustup on Windows []Andy Green3 days
meta: say what a machine needs, and check for it before using it []Andy Green3 days
meta: sai.sh refuses a toolchain older than rust-version, saying why []Andy Green3 days
meta: sai builds, on the C library's builders []Andy Green3 days
npro-core, npro-test: let Miri run the tests, without the heaviest []Andy Green3 days
npro-test: sync the transcripts with C lws main-dev 1ba2879 []Andy Green3 days
docs: port plan: phases 0 and 1a are done []Andy Green3 days
npro-core: monotonic time as an input []Andy Green3 days
npro-core: incremental UTF-8 validation for ws text []Andy Green3 days
npro-core: SHA-1 and base64 for the ws handshake []Andy Green3 days
npro-core: lws' random as an input, and its seeded stream for replay []Andy Green3 days
npro-test: read the C transcripts, and keep copies of them []Andy Green3 days
meta: npro workspace, its lints and the CI gates []Andy Green5 days
docs: the port plan, and the decisions taken for npro []Andy Green5 days
Placeholder []Andy Green5 days