This pull request contains a new version of the concurrent_stack examples. They compile with the CAS restrictions as well as the other updates to Iris. The proofs are also more clean for the 3rd and 4th version.
Happy to improve this further if people have any improvements.
Fixes #8 (closed)