Sign inSign up

framac/frama-c

By framac

•Updated about 6 hours ago

Frama-C snapshots from the public Gitlab branch.

Image
Languages & frameworks
Integration & delivery
Developer tools
2

10K+

Tags for framac/frama-c

Sort by

TAG

dev

Last pushed about 6 hours by framac

docker pull framac/frama-c:dev
DigestOS/ARCHCompressed size

89ab2bd8e8a1

linux/amd64

1.45 GB

TAG

dev.fedora

Last pushed about 1 month by framac

docker pull framac/frama-c:dev.fedora
DigestOS/ARCHCompressed size

109c5245d44c

linux/amd64

2.01 GB

TAG

dev.debian

Last pushed about 1 month by framac

docker pull framac/frama-c:dev.debian
DigestOS/ARCHCompressed size

374e6ee4b5b0

linux/amd64

1.83 GB

TAG

dev-with-mopsa

Last pushed 2 months by framac

docker pull framac/frama-c:dev-with-mopsa
DigestOS/ARCHCompressed size

9c84c0eb3546

linux/amd64

2.25 GB

TAG

oscs

Last pushed 2 months by framac

docker pull framac/frama-c:oscs
DigestOS/ARCHCompressed size

1af054425d93

linux/amd64

1.69 GB

TAG

dev.alpine

Last pushed 2 months by framac

docker pull framac/frama-c:dev.alpine
DigestOS/ARCHCompressed size

d233dbc7d3b3

linux/amd64

1.84 GB

TAG

32.1

Last pushed 4 months by framac

docker pull framac/frama-c:32.1
DigestOS/ARCHCompressed size

4f0b7a2bd600

linux/amd64

1.98 GB

TAG

32.1.alpine

Last pushed 4 months by framac

docker pull framac/frama-c:32.1.alpine
DigestOS/ARCHCompressed size

d22647f10c33

linux/amd64

1.79 GB

TAG

32.1.fedora

Last pushed 4 months by framac

docker pull framac/frama-c:32.1.fedora
DigestOS/ARCHCompressed size

9f6b666872ab

linux/amd64

2.28 GB

TAG

32.1.debian

Last pushed 4 months by framac

docker pull framac/frama-c:32.1.debian
DigestOS/ARCHCompressed size

4f0b7a2bd600

linux/amd64

1.98 GB

TAG

32.0

Last pushed 10 months by framac

docker pull framac/frama-c:32.0
DigestOS/ARCHCompressed size

35c7b8c98fa0

linux/amd64

2.1 GB

TAG

32.0.alpine

Last pushed 10 months by framac

docker pull framac/frama-c:32.0.alpine
DigestOS/ARCHCompressed size

1a4ad0cbd1fa

linux/amd64

1.78 GB

TAG

32.0.fedora

Last pushed 10 months by framac

docker pull framac/frama-c:32.0.fedora
DigestOS/ARCHCompressed size

efee7a377ae5

linux/amd64

2 GB

TAG

32.0.debian

Last pushed 10 months by framac

docker pull framac/frama-c:32.0.debian
DigestOS/ARCHCompressed size

35c7b8c98fa0

linux/amd64

2.1 GB

TAG

31.0

Last pushed over 1 year by framac

docker pull framac/frama-c:31.0
DigestOS/ARCHCompressed size

ea473030403b

linux/amd64

1.74 GB

TAG

31.0.alpine

Last pushed over 1 year by framac

docker pull framac/frama-c:31.0.alpine
DigestOS/ARCHCompressed size

acf245ab641e

linux/amd64

1.63 GB

TAG

31.0.fedora

Last pushed over 1 year by framac

docker pull framac/frama-c:31.0.fedora
DigestOS/ARCHCompressed size

3cdc4eb5acf9

linux/amd64

1.81 GB

TAG

31.0.debian

Last pushed over 1 year by framac

docker pull framac/frama-c:31.0.debian
DigestOS/ARCHCompressed size

ea473030403b

linux/amd64

1.74 GB

TAG

dev-stripped

Last pushed over 1 year by framac

docker pull framac/frama-c:dev-stripped
DigestOS/ARCHCompressed size

84dd7d1063e5

linux/amd64

747.86 MB

TAG

dev-stripped.alpine

Last pushed over 1 year by framac

docker pull framac/frama-c:dev-stripped.alpine
DigestOS/ARCHCompressed size

b464f1a678c4

linux/amd64

411.13 MB

TAG

dev-stripped.fedora

Last pushed over 1 year by framac

docker pull framac/frama-c:dev-stripped.fedora
DigestOS/ARCHCompressed size

084354545e3b

linux/amd64

657.04 MB

TAG

dev-stripped.debian

Last pushed over 1 year by framac

docker pull framac/frama-c:dev-stripped.debian
DigestOS/ARCHCompressed size

84dd7d1063e5

linux/amd64

747.86 MB

TAG

30.0-stripped

Last pushed almost 2 years by framac

docker pull framac/frama-c:30.0-stripped
DigestOS/ARCHCompressed size

d512d9b40311

linux/amd64

743.32 MB

TAG

30.0

Last pushed almost 2 years by framac

docker pull framac/frama-c:30.0
DigestOS/ARCHCompressed size

698cad28aecf

linux/amd64

1.33 GB

TAG

30.0-stripped.alpine

Last pushed almost 2 years by framac

docker pull framac/frama-c:30.0-stripped.alpine
DigestOS/ARCHCompressed size

8b4b36b853f4

linux/amd64

413.08 MB