Published January 14, 2024
| Version v2
Software
Open
ESOP 2024 Artefact for Submission 1938
Description
ESOP 2024 artefact for submission 1938
Runs the suite of synthesis benchmarks from a Granule image. See README.md
The source code for the Granule image can be found on the Granule github repo with tag v0.9.4.1-ESOP2024-artefact
Files
artefact.zip
Files
(729.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e850886a3116f86d9b3d11d4275d96a9
|
728.6 MB | Preview Download |
|
md5:05c486b38e5f1250d2347811416365a3
|
2.7 kB | Preview Download |
|
md5:0cd62b015940fa27dd7c1286ce43a3de
|
1.5 kB | Download |
|
md5:26786c2456667356fb9679c194e146bc
|
609.4 kB | Preview Download |
|
md5:5617585bb3393c58b4d77871c3e78651
|
13.1 kB | Preview Download |
|
md5:cbc865d204b7756721d6afdb4e12465a
|
1.0 kB | Preview Download |
|
md5:8902d4e3d17963d4bbd51552789ddb0d
|
825 Bytes | Preview Download |
Additional details
Funding
- UK Research and Innovation
- Verifying Resource-like Data Use in Programs via Types EP/T013516/1