Onur Özkan fb1b8af2d1 fix(actuator): validate reference timing calculations ...

Reject invalid DShot and PWM timer domains and widen arming-duration
calculations before composing their results.

Validation: actuator tests, strict Clippy and five Kani component proofs.

2026-11-07 18:12:11 +03:00

..

src

fix(actuator): validate reference timing calculations

2026-11-07 18:12:11 +03:00

Cargo.toml

refactor: move firmware workspace under firmware

2026-08-10 16:58:55 +03:00