Published April 11, 2021
| Version v0.4-cypress-no-VM
Software
Open
Cypress (PLDI 2021 Artifact): Code and Benchmarks
- 1. Technion
- 2. UC San Diego
- 3. Royal Holloway, University of London
- 4. Yale-NUS College and National University of Singapore
Description
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.
Files
TyGuS/suslik-v0.4-cypress.zip
Files
(203.8 kB)
Name | Size | Download all |
---|---|---|
md5:89a81fd339d3e18ec56b42156d100fb1
|
203.8 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/TyGuS/suslik/tree/v0.4-cypress (URL)