-
Robbert Krebbers authored
- Allow for binders in protocols. - Model protocols in CPS style using the COFE solver. - Change the channel methods so they do not mention sides. - Lots of refactoring. - Generalize the `list_sort` example. - Move stuff to stdpp/Iris.
d9b0b2c4