https://github.com/logicalhacking/lh-docker-scale-mamba
Container definitions (tested with docker and podman) for various versions of SCALE-MAMBA.
https://github.com/logicalhacking/lh-docker-scale-mamba
Last synced: 10 months ago
JSON representation
Container definitions (tested with docker and podman) for various versions of SCALE-MAMBA.
- Host: GitHub
- URL: https://github.com/logicalhacking/lh-docker-scale-mamba
- Owner: logicalhacking
- License: bsd-2-clause
- Created: 2021-01-30T16:29:25.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2021-01-31T15:01:08.000Z (almost 5 years ago)
- Last Synced: 2025-01-17T03:12:07.580Z (11 months ago)
- Language: Dockerfile
- Size: 3.91 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# [Dockerfiles for Isabelle and Related Projects](https://git.logicalhacking.com/lh-docker/lh-docker-scale-mamba)
This repository contains Dockerfiles for running [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA)
and projects based on [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA). The Dockerfiles are
tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
## List of Dockerfiles
* [scale-mamba-1.11](scale-mamba-1.11/Dockerfile) provides SCALE-MAMBA 1.11. Available on docker hub as:
* [logicalhacking/scale-mamba-1.11](https://hub.docker.com/r/logicalhacking/scale-mamba-1.11)
* [scale-mamba-1.5](scale-mamba-1.5/Dockerfile) provides SCALE-MAMBA 1.5. Available on docker hub as:
* [logicalhacking/scale-mamba-1.5](https://hub.docker.com/r/logicalhacking/scale-mamba-1.5)
## Authors
Main author: [Achim D. Brucker](http://www.brucker.ch/)
## License
If not otherwise stated, all Dockerfiles are licensed under a 2-clause
BSD-style license.
SPDX-License-Identifier: BSD-2-Clause
## Master Repository
The master git repository for this project is hosted by the [Software
Assurance & Security Research Team](https://logicalhacking.com) at
.