Challenge 28 (flt2dec): 12 of 12 functions verified via Kani#596

gui-wf wants to merge 18 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

gui-wf:challenge-28-flt2dec-helpersgui-wf/verify-rust-std:challenge-28-flt2dec-helpersCopy head branch name to clipboard