Published August 18, 2025
| Version v4
Software
Open
Sippy: the Artefact for the Paper "Inductive Synthesis of Inductive Heap Predicates"
Description
The artefact for Sippy (OOPSLA 25).
To run, execute:
docker load -i sippy.tar
See readme.pdf for detailed instructions.
Files
readme.pdf
Files
(7.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:83c376e0b5d6049704a1c4b49d8e8622
|
156.0 kB | Preview Download |
|
md5:9723f3af0cd06adb6600babfabbfabae
|
7.3 GB | Download |