Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Artifact accompanying the paper Certifying the Synthesis of Heap-Manipulating Programs published in proceedings of ICFP 2021.

This snapshot is also available at Zenodo.