SuSLik (CAV 2021 Artifact): Code and Benchmarks
·
252 commits
to master
since this release
Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.