Reproduction Package (VirtualBox Image) for the POPL 2024 Article `A Retrospective Study of one Decade of Artifact Evaluations `Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations`

This is the artifact for our submission of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). We provide our artifact as an easy-to-use VirtualBox Image. This contains the benchmarks, our tools for bit-vector synthesis, and the scripts for generating the results showcased in the paper.