docs(gen-gc): sizing, tuning & integration#8

elefthei wants to merge 1 commit into

mainFStarLang/pulse-verified-gc:mainfrom

docs/gen-gc-sizingFStarLang/pulse-verified-gc:docs/gen-gc-sizingCopy head branch name to clipboard