Software Open Access
Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey
Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.
Download suslik-v0.5-cav21-artifact.zip archive, unpack it, and follow instructions in the README.md file in the root of the project.
Name | Size | |
---|---|---|
TyGuS/suslik-v0.5-cav21-artifact.zip
md5:091592dfe7ba51a57db73cdb421c7816 |
501.7 kB | Download |
All versions | This version | |
---|---|---|
Views | 1,004 | 102 |
Downloads | 38 | 1 |
Data volume | 34.7 GB | 501.7 kB |
Unique views | 579 | 71 |
Unique downloads | 29 | 1 |