theories/ticket_lock.v: simplify proof of release_spec · logsem/iris-tutorial@f793420

Triggered via push July 31, 2026 13:16

simongregersen

pushed f793420

master

Status Success

Total duration 3m 20s

Artifacts –

build.yml

on: push

build

3m 9s

Annotations

1 notice

build

System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100

Navigation Menu

Uh oh!

theories/ticket_lock.v: simplify proof of release_spec #125

Summary

theories/ticket_lock.v: simplify proof of release_spec #125

Uh oh!

build.yml

Annotations