Skip to content

GitLab

Explore

Sign in

This is an archived project. Repository and other project resources are read-only.

Marek Chalupa
slowbeast

S

slowbeast Archived

Project information

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast

symbolic exe... k-induction

1,223 Commits
26 Branches
0 Tags

README

Created on

September 22, 2019

Copy SSH clone URLgit@gitlab.fi.muni.cz:xchalup4/slowbeast.git
Copy HTTPS clone URLhttps://gitlab.fi.muni.cz/xchalup4/slowbeast.git
Copy KRB5 clone URLhttps://:@gitlab.fi.muni.cz:8443/xchalup4/slowbeast.git