jckassing/aprove

•Updated 3 days ago

Automated Program Verification Environment

Image

280

Tags for jckassing/aprove

Sort by

TAG

latest

Last pushed 3 days by jckassing

docker pull jckassing/aprove:latest

Digest	OS/ARCH	Compressed size
5d31987e11a9	linux/amd64	664.36 MB

TAG

1.1.1

Last pushed 3 days by jckassing

docker pull jckassing/aprove:1.1.1

Digest	OS/ARCH	Compressed size
5d31987e11a9	linux/amd64	664.36 MB

TAG

1.1.0

Last pushed 3 months by jckassing

docker pull jckassing/aprove:1.1.0

Digest	OS/ARCH	Compressed size
511547e91bd6	linux/amd64	695.09 MB

TAG

1.0.0

Last pushed 5 months by jckassing

docker pull jckassing/aprove:1.0.0

Digest	OS/ARCH	Compressed size
0c923ed0a244	linux/arm64	874.81 MB