Light

symbolica / symbolica Goto Github PK

View Code? Open in Web Editor NEW

60.0 4.0 6.0 1.83 MB

Symbolica's open-source symbolic execution engine.

Home Page: https://www.symbolica.dev

License: MIT License

C 0.43% Shell 1.48% C# 97.45% Dockerfile 0.65%

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

symbolica's Introduction

Symbolica

NuGet Packages

Symbolica.Abstraction

Symbolica.Collection

Symbolica.Computation

Symbolica.Deserialization

Symbolica.Expression

Symbolica.Implementation

Symbolica.Representation

Docker Images

symbolica/build

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

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

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

symbolica/translate

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

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

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.

symbolica's People

Contributors

Stargazers

Watchers

Forkers

jsharpe hermetique konpontekini ossillate-inc richthornton gmh5225

symbolica's Issues

Improve console output

As I was playing around with Symbolica, there's obviously cases where it can take a long time to calculate the result. I think the user experience when this happens would be helped by having some console output while the result is being calculated, so at least you know something is happening.

Another aspect that might be nice (I'm not sure how easy it is) would be to output a suggestion on how the time could be reduced. For example, @Choc13 suggested I wrap a conditional around a number before passing it into Symbolica, when it was taking a while to compute the value

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.