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
SCHEDULED DOWNTIME: GitLab will be briefly unavailable on Thursday, 2026-07-16, from 20:00 to 21:00 due to an operating system upgrade.
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast