A new version of concurrent_stack (!11) · Merge requests · Iris / examples

The source project of this merge request has been removed.

Daniel Gratzer requested to merge (removed):master into master Dec 05, 2018

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 Dec 20, 2018 by Ralf Jung

A new version of concurrent_stack

Merge request reports