Skip to content

Symbolica's open-source symbolic execution engine.

License

Notifications You must be signed in to change notification settings

ossillate-inc/Symbolica

 
 

Repository files navigation

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.

About

Symbolica's open-source symbolic execution engine.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C# 97.4%
  • Shell 1.5%
  • Other 1.1%