lofty!How would you recommend going about opening a PR on an open source codebase, for 5 months or so work reviving a stale PR, continuing the work, and adding a whole new testing side to allow for running MIRI on some C bindings? bcs I kinda just hit go on the dang thing
beepster@lofty oo
@beepster4096 since miri only has limited support for FFI bindings, and doesn't track behaviour in the foreign code, and because the OS on the embedded device that I'm trying to work with requires a reasonable amount of setup of background services, I implemented all of the 'extern "C" fn' methods in Rust, which was pretty good for catching some bugs!
https://github.com/flipperzero-rs/flipperzero-rs/pull/261 this is the pr
Rebase GUI APIs, bring up to date, and test with MIRI by loftyinclination · Pull Request #261 · flipperzero-rs/flipperzero-rs
This is a continuation of the work in #250 and in #29, rebasing the latter onto the former and continuing the work of creating some useful GUI bindings. Differences from the GUI PR; Callbacks have...