SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to apply security updates. The reboot will occur on Monday, 2024-05-06, between 03:45 and 4:00 AM.
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms.
MOVED to https://gitlab.com/mchalupa/slowbeast