Miguel Young

Currently, we ignore: - The signature type in the manifest container. - Allowable Firmware flags. - The "manifest type", "signature type", and "hash type" bytes in the `owned::Container` parser.

We need a generic facility for tracking pairs of "pending" and 'active" manifests of a particular type (this is used mostly for manifest updates, and is referenced in protocol messages...

Pesudocode for the algorithm: ```rust fn verify_policy( fpm: Fpm, flash: &impl Flash, hash_builder: &impl ha256::Builder ) -> Result { for fw in fpm.fw_versions { let version = flash.read(fw.version_addr, fw.version_len); if...

I don't know if this change is actually a good idea; I did it partly to see how much work it would be, and partly because using `#[path = "src/..."]`...

This is a work in progress; eventually this PR will include a host of other features, including a new parser, pretty-printer, and formatter.

Use the Buf CLI as an LSP

1

See https://github.com/bufbuild/buf/pull/3316

Implement breaking lints in the LSP

1

This change adds breaking lints to the LSP as part of the general lint pass. Breaking lints are interesting because they need an "against". I've chosen to expose two configuration...

Improve LSP performance for files that have a lot of cross-file refs

1

Since removing concurrency from the LSP, performance has degraded substantially. This PR fixes some performance issues by being smart about doing less work. Most of this will be mooted by...

This PR implements codegen for type-checked option values, by directly serializing all of them into the unknown fields of the target type. This strategy avoids needing to special-case the non-custom...

Add a ring buffer queue implementation

1

This PR adds a double-eneded queue type to `slicesx`.