Description
This archive contains the code and benchmarks for the paper Data-Driven Inference of Representation Invariants.
Instructions for installation and build, instructions for reproduction of the results, and a description of the structure of the repository, are all available in the file $/README.pdf.
Assets
Read Me (pldi20main-p34-p-Artifact-accepted-readme.txt)
Artifact (pldi20main-p34-p-Artifact-accepted.zip)
Provenance
The source code was written by the authors of Data-Driven Inference of Representation Invariants. The code was forked from LoopInvGen's source code.
License
Comments
-
Author Tags
Copyright
Author(s)
