Published November 11, 2021 | Version 1.0.0
Software Open

weakmemory/pwt: PwT v1.0.0: POPL 2022 artifact

Creators

  • 1. NRU HSE, JetBrains Research

Description

Quick links

  • Webpage of the project: online;
  • VirtualBox image of the artifact: online.

This repository contains Coq code supplementing the paper Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency by Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, and Anton Podkopaev.

Files

weakmemory/pwt-1.0.0.zip

Files (64.4 kB)

Name Size Download all
md5:ccfd6fe5b3a9acf11e2e3b829ca16889
64.4 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/weakmemory/pwt/tree/1.0.0 (URL)