This moves the outdated "Lifting a single example" readme section into a separate docs file, and updates and elaborates it. This is meant to be a self-contained page for end-users and so it duplicates some of the installation steps.
I would appreciate feedback on the content, especially the Boogie portion. I also wonder if some of this content should remain elsewhere, as its useful to BASIL developers as well.
This moves the outdated "Lifting a single example" readme section into a separate docs file, and updates and elaborates it. This is meant to be a self-contained page for end-users and so it duplicates some of the installation steps.
I would appreciate feedback on the content, especially the Boogie portion. I also wonder if some of this content should remain elsewhere, as its useful to BASIL developers as well.