Projects with this topic
Sort by:
-
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast
Archived 0Updated
DOWNTIME: GitLab will be briefly unavailable today, 2026-04-22, between 21:00 and 21:30 to resolve unexpected issues resulting from a web crawler infestation and various misconfigured GitLab Runners that have overfilled our log files.
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast