runtimeverificationinc/c-semantics:latest

Manifest digest

sha256:5118a45b36a8a17f468c14b1260450ccc8a93f6980c9085dd4b3dc85a04baa54

OS/ARCH

linux/amd64

Compressed size

1.39 GB

Last pushed

over 6 years by rvdockerhub

Type

Image

Manifest digest

sha256:5118a45b36a8a17f468c14b1260450ccc8a93f6980c9085dd4b3dc85a04baa54

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&847 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6ARG OS=ubuntu0 B

7ARG FLAVOR=bionic0 B

8ARG TIMEZONE=America/Chicago0 B

9ARG LOCALE=en_US.UTF-80 B

10ARG USER_ID=10010 B

11ARG GROUP_ID=10010 B

12|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu189 B

13|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu24.26 MB

14|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu483.96 KB

15|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu4.42 KB

16|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu7.41 MB

17|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

18|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

19/bin/sh -c apt-get update 712.59 MB

20/bin/sh -c apt-get update -q148.64 MB

21/bin/sh -c git clone 'https://github.com/z3prover/z3'20.23 MB

22USER user:user0 B

23COPY --chown=user:userdir:e2b9d6b7fa26f3877046b4dcbb572aee181f78e26acdfb7484ccdf427cd5cc56 in /home/user/perl5 57.33 KB

24COPY --chown=user:userdir:271ede855f29e26e135adc8774a6ebd5f9ad5e4e85026370fb904d610870b208 in /home/user/.opam 237.01 MB

25ENV DEPS_DIR=/home/user/c-semantics-deps0 B

26

COPY --chown=user:userdir:952c1d939b55ea9ebcecc69d28b907d3a92425fffc1c3e52b78a77232e1588c6 in /home/user/c-semantics-deps/k

26.13 MB

27/bin/sh -c cd ${DEPS_DIR}/k 221.93 MB

28ENV K_BIN=/home/user/c-semantics-deps/k/k-distribution/target/release/k/bin0 B

Command

ADD file:3ddd02d976792b6c6deed85bd3643cba43a7bce743c2a84d91336fc951e9a9ec in /