Rellic produces goto-free C output from LLVM bitcode
Why do you think that https://github.com/thepowersgang/mrustc is a good alternative to rellic
Rellic produces goto-free C output from LLVM bitcode
Why do you think that https://github.com/thepowersgang/mrustc is a good alternative to rellic