Published April 7, 2020
| Version 1.0.0
Journal article
Open
Semantic Code Search via Equational Reasoning
Description
This artifact contains information needed to evaluate all claims in the paper. Specifically, it contains a Docker image and most sources, with:
- Yogo
- Test scripts configured to run Yogo on its benchmarks
It further contains logs of previous runs of Yogo on the benchmarks, and scripts to analyze the results.
Files
yogo-artifact-exp.zip
Files
(1.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:31eb881d487e6ec7bc55ec46e71af468
|
1.2 GB | Preview Download |
Additional details
Related works
- Is supplement to
- 10.1145/3385412.3386001 (DOI)