Sign inSign up

deibpolimi/d-vert-server

By deibpolimi

•Updated over 8 years ago

Docker container for the DICE Verification Tool (D-VerT) Server.

Image
0

10K+

Tags for deibpolimi/d-vert-server

Sort by

TAG

v0.3.0

Last pushed over 8 years by deibpolimi

docker pull deibpolimi/d-vert-server:v0.3.0
DigestOS/ARCHCompressed size

2d20463f6093

linux/amd64

700.81 MB

TAG

features_spark_xSparkbench-test

Last pushed over 8 years by deibpolimi

docker pull deibpolimi/d-vert-server:features_spark_xSparkbench-test
DigestOS/ARCHCompressed size

f070d0a6d269

linux/amd64

699.07 MB

TAG

latest

Last pushed over 8 years by deibpolimi

docker pull deibpolimi/d-vert-server:latest
DigestOS/ARCHCompressed size

73d04f382ffa

linux/amd64

700.82 MB