Symbolica Save

Symbolica's open-source symbolic execution engine.

Project README

Symbolica

Build history

NuGet Packages

Symbolica.Abstraction

NuGet Badge

Symbolica.Collection

NuGet Badge

Symbolica.Computation

NuGet Badge

Symbolica.Deserialization

NuGet Badge

Symbolica.Expression

NuGet Badge

Symbolica.Implementation

NuGet Badge

Symbolica.Representation

NuGet Badge

Docker Images

symbolica/build

docker build lib/c/build -t symbolica/build:latest
docker run -v <path-to-user-code>:/code symbolica/build:latest

Docker Image Version (latest semver) Docker Pulls

symbolica/build-cpp

docker build lib/cpp/build --build-arg BUILD_BASE_IMG_TAG=latest -t symbolica/build-cpp:latest
docker run -v <path-to-user-code>:/code symbolica/build-cpp:latest

Docker Image Version (latest semver) Docker Pulls

symbolica/translate

docker build lib/translate -t symbolica/translate:latest
docker run -v <path-to-user-code>:/code symbolica/translate:latest <declarations>

Docker Image Version (latest semver) Docker Pulls

Note, we don't publish a latest tag because we prefer to use SemVer instead, even if Docker doesn't natively support it. Our stable images will be tagged according to the tags in this repository and the versions are aligned with the NuGet package versions. If you're using the docker images in conjunction with the NuGet packages, it's best to make sure you're using a tag for the docker images that matches the NuGet package version you're using.

Open Source Agenda is not affiliated with "Symbolica" Project. README Source: Symbolica/Symbolica
Stars
60
Open Issues
7
Last Commit
1 year ago
Repository
License
MIT

Open Source Agenda Badge

Open Source Agenda Rating