Reproduction Package (VirtualBox Image) for the POPL 2024 Article `Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations`
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/10126640
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-11-15
