Skip to content

A new version of concurrent_stack

Daniel Gratzer requested to merge (removed):master into master

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)

Edited by Ralf Jung

Merge request reports