Package Description


Keywords
Symbolica, Symbolic, Execution, symbolic-computation, symbolic-execution, verification
License
MIT
Install
Install-Package Symbolica.Implementation -Version 0.2.0-pullrequest0115-0095-b449e5b

Documentation

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.