Published March 7, 2023 | Version 1.0.0
Software Open

Sisyphus v1.0.0 Artefact Release

Creators

  • 1. National University of Singapore

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)