Published March 7, 2023
| Version 1.0.0
Software
Open
Sisyphus v1.0.0 Artefact Release
Description
This release snapshots the functionality of the submitted artefact for the tool Sisyphus described in the PLDI 23 paper "Mostly Automated Proof Repair for Verified Libraries":
- Docker file with reproducible build environment
- Readme with getting started and step-by-step instructions
- Source code and build files for Sisyphus
- 14 Benchmark programs
Files
Files
(323.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c6705466b029ee57c91b54ccf64b8e12
|
323.9 kB | Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1145/3591221 (DOI)