Sign inSign up

sourcedennis/armed-proofs

By sourcedennis

•Updated 3 months ago

Proofs for the case study in "Burrow: A Proof Framework for Weak Memory"

Image
0

289

Tags for sourcedennis/armed-proofs

Sort by

TAG

latest

Last pushed 3 months by sourcedennis

docker pull sourcedennis/armed-proofs:latest
DigestOS/ARCHCompressed size

8585b216b799

linux/amd64

28.44 MB

a052f4e87e4c

linux/arm64

34.33 MB

TAG

x86

Last pushed 3 months by sourcedennis

docker pull sourcedennis/armed-proofs:x86
DigestOS/ARCHCompressed size

8585b216b799

linux/amd64

28.44 MB

TAG

arm

Last pushed 3 months by sourcedennis

docker pull sourcedennis/armed-proofs:arm
DigestOS/ARCHCompressed size

a052f4e87e4c

linux/arm64

34.33 MB