4777703
doi
10.5281/zenodo.4777703
oai:zenodo.org:4777703
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
Anonymous
Anonymous
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
<p>Artifact accompanying the the paper <em>Certifying the Synthesis of Heap-Manipulating Programs</em>, conditionally accepted to ICFP'21.</p>
<p><strong>Virtual machine: </strong>The <em>vm-image.zip</em> file contains a virtual machine image containing the full artifact and benchmarks, as well as the necessary scripts to start it. It should work with QEMU. To start with it, follow the instructions in <em>README.md</em> file attached to this artifact.</p>
<p><strong>Source code:</strong> Download the<em> source.tar.gz</em><em> </em>archive and unpack it. In the <em>README.md</em> file in the root of the project, follow the <em>Compile/Install</em> instructions to compile the sources, and then follow the <em>Step by Step Instructions</em> to run.</p>
Zenodo
2021-05-21
info:eu-repo/semantics/other
4777382
0.1.1
1625143619.744944
2705678671
md5:b9ed7ca60a8f508431dbb41b1e36b89a
https://zenodo.org/records/4777703/files/vm-image.zip
1023883
md5:c533c742cc22f3482b7073347933eeb9
https://zenodo.org/records/4777703/files/source.tar.gz
20525
md5:6179ab374e0dac681bef957d85128bda
https://zenodo.org/records/4777703/files/README.md
public
10.5281/zenodo.4777382
isVersionOf
doi