Sign inSign up

svftools/teaching-software-verification

By svftools

•Updated about 8 hours ago

Image
0

10K+

Tags for svftools/teaching-software-verification

Sort by

TAG

latest-arm64

Last pushed about 8 hours by svftools

docker pull svftools/teaching-software-verification:latest-arm64
DigestOS/ARCHCompressed size

093d08d56053

linux/amd64

1.13 GB

7f9d47cdd282

linux/arm64

1.09 GB

TAG

latest

Last pushed about 8 hours by svftools

docker pull svftools/teaching-software-verification:latest
DigestOS/ARCHCompressed size

093d08d56053

linux/amd64

1.13 GB

7f9d47cdd282

linux/arm64

1.09 GB

TAG

latest-aarch64

Last pushed over 1 year by svftools

docker pull svftools/teaching-software-verification:latest-aarch64
DigestOS/ARCHCompressed size

e239addaf496

linux/arm64/v8

2.02 GB