Semantically equivalent spec separation for Fulm optimisation#5

rbanerjee20 wants to merge 4 commits intofulm-pldi-26rems-project/cn-pKVM-buddy-allocator-case-study:fulm-pldi-26from

rewrite-spec-for-fulmrems-project/cn-pKVM-buddy-allocator-case-study:rewrite-spec-for-fulmCopy head branch name to clipboard