Draft: experiments around stack semantics#613

clarus wants to merge 3 commits intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@stack-simulationsformal-land/coq-of-rust:guillaume-claret@stack-simulationsCopy head branch name to clipboard