Skip to content
Vote close

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory #64

Sign in to view logs

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory #64

Triggered via pull request October 18, 2024 19:03
@phanukaevphanukaev
closed #215
paper-vote-4
Status Success
Total duration 18s
Artifacts –

close.yaml

on: pull_request
Matrix: close
Fit to window
Zoom out
Zoom in