• Robbert Krebbers's avatar
    Many changes. · d9b0b2c4
    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
branching.v 2.55 KB