Skip to content

GitLab

I
Iron
Commit bb2fd890 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files
Options

Update link.

parent 5cdc535e
Pipeline #13458 passed with stage
    in 8 minutes and 52 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    README.md
    View file @ bb2fd890
    # Iron: Managing Obligations in Higher-Order Concurrent Separation Logic
    This repository contains the Iron logic, as described in the POPL'19 paper
    "[Iron: Managing Obligations in Higher-Order Concurrent Separation Logic](https://iris-project.org/pdfs/2018-iron.pdf)" by
    "[Iron: Managing Obligations in Higher-Order Concurrent Separation Logic](https://iris-project.org/pdfs/2019-popl-iron-final.pdf)" by
    Aleš Bizjak, Daniel Gratzer, Robbert Krebbers, and Lars Birkedal.
    ## Building Iron
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment