Version 1.0.1

Contains the new benchmark integrations and tool integrations.

ECSTATIC: Anonymized ASE Submission

This is a partial submission of our artifact, with identifying information removed. Unfortunately, this means that this version of the artifact is not functional, since it is missing vital files (e.g., the Dockerfiles to build the tool-specific images). However, we do plan to release the full artifact and submit it to the artifact evaluation track should our paper be accepted.