Explore projects

I

Janno / iris-atomic

Logically Atomic Triples in Iris

0

Updated Jul 10, 2017

0 0 0 0

Updated Jul 10, 2017
R

Robbert Krebbers / ra-gps

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

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
I

Dan Frumin / iris-atomic

Logically Atomic Triples in Iris

0

Updated Mar 12, 2018

0 0 0 0

Updated Mar 12, 2018
C

Ralf Jung / cfml2

Fork of https://gitlab.inria.fr/charguer/cfml2

0

Updated Jul 13, 2018

0 0 0 0

Updated Jul 13, 2018
I

Joseph Tassarotti / ipm-fscq-demo

This is a demo showing how the the Iris Proof Mode can be used with FSCQ.

0

Updated Jul 16, 2018

0 0 0 0

Updated Jul 16, 2018
P

Maxime Lesourd / prosa-for-certikos

0

Updated Jul 17, 2018

0 0 0 0

Updated Jul 17, 2018
C

Marianna Rapoport / coq-stdpp

0

Updated Jul 23, 2018

0 0 0 0

Updated Jul 23, 2018
I

Jan / iris-coq

The Coq development for Iris

0

Updated Jul 30, 2018

0 0 0 0

Updated Jul 30, 2018
I

Jeehoon Kang / iris-coq

The Coq development for Iris

0

Updated Oct 12, 2018

0 0 0 0

Updated Oct 12, 2018
I

Marianna Rapoport / iris-coq

The Coq development for Iris

0

Updated Dec 03, 2018

0 0 0 0

Updated Dec 03, 2018
S

Hai Dang / stdpp

0

Updated Feb 21, 2019

0 0 0 0

Updated Feb 21, 2019
E

Daniel Gratzer / examples

Some example verification demonstrating the use of Iris.

0

Updated Mar 06, 2019

0 0 0 0

Updated Mar 06, 2019
T

Rodolphe Lepigre / Treiber stack algorithm

0

Updated Mar 06, 2019

0 0 0 0

Updated Mar 06, 2019
S

Jakob Botsch Nielsen / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Mar 16, 2019

0 0 0 0

Updated Mar 16, 2019
I

Rice Wine / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Apr 23, 2019

0 0 0 0

Updated Apr 23, 2019
P

cld / systems / sock-shop / payment

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
U

cld / systems / sock-shop / user

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
I

Hai Dang / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jun 20, 2019

0 0 0 0

Updated Jun 20, 2019
L

Michael Sammler / lambda-rust

The Coq development of LambdaRust

0

Updated Jul 22, 2019

0 0 0 0

Updated Jul 22, 2019