Published March 8, 2023
| Version v1
Journal article
Open
Artifact for Merging Inductive Relations in PLDI 2023
Creators
Description
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, which can be run with for example VirtualBox or VMware.
The VM image is split into multiple files. The files need to be combined first, for example by using 7zip.
Once you log into the VM, it is already set up to generate the data in the paper. There is a readme file on the desktop.
Files
README.txt
Files
(6.3 GB)
Name | Size | Download all |
---|---|---|
md5:1921794e447ed8cf7b676d854767b42d
|
314.6 MB | Download |
md5:f3466102094a2cdca8cd60a0ddf8e966
|
314.6 MB | Download |
md5:5fa862a3963e2a6c3535d8e1ec36afe7
|
314.6 MB | Download |
md5:2cc58ea51d1adc4514a4e82d622e9e8f
|
314.6 MB | Download |
md5:14cfc64fdde65aa729531b31dad82669
|
314.6 MB | Download |
md5:21336e9dbc15fb0c20562bb6222f144d
|
314.6 MB | Download |
md5:7ea9b6b99d9508a7116966e2214d54bb
|
314.6 MB | Download |
md5:c39bdccc7627f06cb02a292d6c4a60f8
|
314.6 MB | Download |
md5:4fed8c57d557cf52fbae876fd19716a9
|
314.6 MB | Download |
md5:6dcb636eabb0ebfb1d2ed3e55cebdf39
|
314.6 MB | Download |
md5:0a7896b0c9311dd7a10134a4ac01afb4
|
314.6 MB | Download |
md5:5dc2a18f7396740ccff3240d593e8223
|
314.6 MB | Download |
md5:e9fe0dcdc69cf48b06b8b394c2b6bcbc
|
314.6 MB | Download |
md5:85b743d87112d9c1cc81cccbff3b7224
|
314.6 MB | Download |
md5:498743c4ce1ca29f60ade8a511abcc57
|
314.6 MB | Download |
md5:57103fef5c82605f4b11913fb4114677
|
314.6 MB | Download |
md5:b5d6d4074b7af32a0eba555d212e937c
|
314.6 MB | Download |
md5:6b212c7f1321912aa2ec6a90654b01bc
|
314.6 MB | Download |
md5:26f4d112e26a9cd0d5b0c6e36164ab7e
|
314.6 MB | Download |
md5:798963e244446c5de295971598608639
|
314.6 MB | Download |
md5:3d845b9bfa431577efa6f3dacdc0f95e
|
48.4 MB | Download |
md5:0865b08462be3380a30658c73e29c608
|
405 Bytes | Preview Download |