Adding support for Machine Integer version of Bytes, List, and MInt functions#1209

automergerpr-permission-manager[bot] merged 16 commits into

developruntimeverification/llvm-backend:developfrom

mint64-hooksruntimeverification/llvm-backend:mint64-hooksCopy head branch name to clipboard