Skip to content
Notifications

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

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 #130

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

notify.yaml

on: pull_request
notifications
9s
notifications
Fit to window
Zoom out
Zoom in