Closed chrysn closed 8 months ago
Now ready to review (although best reviewed after #142); one warning is left (edhoc.rs line 432 about the kid never being assigned), but I suppose that's best addressed together with adding actual flexibility w/rt the peer's chosen credentials.
Based on #142, this removes the
#![allow(warnings)]
(which AIU is a remnant of how early hacspec required writing code that the linter would be unhappy about), and applies a lot of small refactoring fixes that would probably just have been caught at write time / when they were earlier refactored into the current state.