Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
README.md		README.md

Repository files navigation

Linear Actris Artifact

This development has been moved to https://gitlab.mpi-sws.org/iris/actris/-/tree/master/linear_actris

About

Deadlock free separation logic for message passing

Report repository

Releases

No releases published

Packages

Contributors