Explore projects

I

Dan Frumin / iris-atomic

Logically Atomic Triples in Iris

0

Updated Mar 12, 2018

0 0 0 0

Updated Mar 12, 2018
D

David Swasey / derek-popl18-talk

Safety of a syntactically unsafe symbol ADT.

1

Updated Jan 29, 2018

1 0 0 0

Updated Jan 29, 2018
R

Robbert Krebbers / ra-gps
BSD 3-Clause "New" or "Revised" License

A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

0

Updated Sep 21, 2017

0 0 0 0

Updated Sep 21, 2017
D

AVA / daisy-certification-public
BSD 2-Clause with views sentence

0

Updated Aug 11, 2017

0 0

Updated Aug 11, 2017
I

Janno / iris-atomic

Logically Atomic Triples in Iris

0

Updated Jul 10, 2017

0 0 0 0

Updated Jul 10, 2017
A

Janno / ait-rs

0

Updated Apr 16, 2017

0 0 0 0

Updated Apr 16, 2017
P

Carina Schmitt / public

0

Updated Nov 11, 2016

0

Updated Nov 11, 2016

Prev