Reproduction Package (VirtualBox Image) for the POPL 2024 Article `Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations`
收藏官方服务：
资源简介：
This is the artifact for the ACM PACMPL article Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. We provide our artifact as an easy-to-use VirtualBox image, which contains the benchmarks, our tools for bit-vector synthesis, and the scripts for generating the results showcased in the paper.
提供机构：
Zenodo创建时间：
2023-11-15
