Skip to content

Rigor pass - #10

Merged
sion42x merged 8 commits into
masterfrom
rigor-pass
Aug 24, 2026
Merged

Rigor pass#10
sion42x merged 8 commits into
masterfrom
rigor-pass

Conversation

@sion42x

@sion42x sion42x commented Aug 22, 2026

Copy link
Copy Markdown
Collaborator

Adding CI definition, running Oxide-approved clippy + rustfmt on 2024, and rewriting a number of comments and sprawling or inconsistent code areas.

LICENSE, license fields, per-file headers. Remove Cargo.toml.bak and
the unused Pipfiles; ignore instance state files written to the cwd.
puf: bound guest-written KEYSIZE. cpu: implement all SMLA variants,
per-core VTOR fallback. rot_flash: unknown commands fail, persisted
state read errors surface. gdb/soc: per-instance ports through one
bounds-checked a4x2 helper. config: malformed --load-config is an
error and unknown keys are named. main/rot-serve/analyze: errors, not
panics, on user input.
Ignored socket, filesystem, and send errors now propagate or count.
One-off debug dumps hardcoding image addresses are gone or gated. RoT
traps log once per PC unconditionally. Spi2 BitSet/BitClear do
read-modify-write. Crate-wide allow(dead_code) removed.
Fallout: gen is a keyword (renamed cs_gen); three if-let chains keep
their idiomatic form over cargo fix's rescoping rewrite.
Mostly collapsible_if let-chain rewrites; checked_div in UDIV,
sort_unstable_by_key in the pc profiler, struct-update init in a test.
@sion42x
sion42x requested a review from lzrd August 22, 2026 15:16
@sion42x
sion42x merged commit 19fd0aa into master Aug 24, 2026
1 check passed
@sion42x
sion42x deleted the rigor-pass branch August 24, 2026 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant