https://github.com/symbolica/symbolica

Symbolica's open-source symbolic execution engine.
https://github.com/symbolica/symbolica

symbolic symbolic-computation symbolic-execution testing testing-tool verification

Last synced: about 1 year ago
JSON representation

Symbolica's open-source symbolic execution engine.

• Host: GitHub
• URL: https://github.com/symbolica/symbolica
• Owner: Symbolica
• License: mit
• Created: 2021-05-19T10:02:09.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2023-02-05T01:52:58.000Z (over 3 years ago)
• Last Synced: 2024-05-29T00:34:32.726Z (about 2 years ago)
• Topics: symbolic, symbolic-computation, symbolic-execution, testing, testing-tool, verification
• Language: C#
• Homepage: https://www.symbolica.dev
• Size: 1.79 MB
• Stars: 60
• Watchers: 4
• Forks: 6
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Symbolica

[![Build history](https://buildstats.info/github/chart/SymbolicaDev/Symbolica?branch=master)](https://github.com/SymbolicaDev/Symbolica/actions)

## NuGet Packages

### Symbolica.Abstraction

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Abstraction)](https://www.nuget.org/packages/Symbolica.Abstraction/)

### Symbolica.Collection

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Collection)](https://www.nuget.org/packages/Symbolica.Collection/)

### Symbolica.Computation

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Computation)](https://www.nuget.org/packages/Symbolica.Computation/)

### Symbolica.Deserialization

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Deserialization)](https://www.nuget.org/packages/Symbolica.Deserialization/)

### Symbolica.Expression

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Expression)](https://www.nuget.org/packages/Symbolica.Expression/)

### Symbolica.Implementation

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Implementation)](https://www.nuget.org/packages/Symbolica.Implementation/)

### Symbolica.Representation

[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Representation)](https://www.nuget.org/packages/Symbolica.Representation/)

## Docker Images

### symbolica/build

```sh

docker build lib/c/build -t symbolica/build:latest

```

```sh

docker run -v :/code symbolica/build:latest

```

[![Docker Image Version (latest semver)](https://img.shields.io/docker/v/symbolica/build?sort=semver&logo=Docker)](https://hub.docker.com/repository/docker/symbolica/build)

[![Docker Pulls](https://img.shields.io/docker/pulls/symbolica/build?logo=Docker&label=pulls)](https://hub.docker.com/repository/docker/symbolica/build)

### symbolica/build-cpp

```sh

docker build lib/cpp/build --build-arg BUILD_BASE_IMG_TAG=latest -t symbolica/build-cpp:latest

```

```sh

docker run -v :/code symbolica/build-cpp:latest

```

[![Docker Image Version (latest semver)](https://img.shields.io/docker/v/symbolica/build-cpp?sort=semver&logo=Docker)](https://hub.docker.com/repository/docker/symbolica/build-cpp)

[![Docker Pulls](https://img.shields.io/docker/pulls/symbolica/build-cpp?logo=Docker&label=pulls)](https://hub.docker.com/repository/docker/symbolica/build-cpp)

### symbolica/translate

```sh

docker build lib/translate -t symbolica/translate:latest

```

```sh

docker run -v :/code symbolica/translate:latest 

```

[![Docker Image Version (latest semver)](https://img.shields.io/docker/v/symbolica/translate?sort=semver&logo=Docker)](https://hub.docker.com/repository/docker/symbolica/translate)

[![Docker Pulls](https://img.shields.io/docker/pulls/symbolica/translate?logo=Docker&label=pulls)](https://hub.docker.com/repository/docker/symbolica/translate)

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.