Published October 25, 2024
| Version v1
Software
Open
Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)
- 1. Royal Holloway University of London
-
2.
Ben-Gurion University of the Negev
Description
Accompanying artifact for TACAS2025 tool paper submission, containing the following:
- Extension of the Cyclist automated theorem prover (cyclist-prover.org) by new algorithms for checking the Infinite Descent property, and integration of a tool, Cyclone, as a backend Infinite Descent check for Cyclist.
- Experimental dataset for algorithms checking Infinite Descent.
- Docker images with a pre-built version of the extension of Cyclist, for artifact evaluation.
Files
README.md
Files
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b211ef66471f976d7f4715ebedd8ce6b
|
13.1 MB | Preview Download |
|
md5:5ce1b04513987f3766aded2986e3f2ce
|
1.3 GB | Download |
|
md5:acb5eabba114816d2c7bd614763dda37
|
1.3 GB | Download |
|
md5:d0638cb2a15e1f974c58754c02e59c46
|
58.8 MB | Preview Download |
|
md5:644e5026a8b96cc9f7ebd0f56ce1bf64
|
30.4 kB | Preview Download |
|
md5:450766f83d42db06460d04b32fbb4e4d
|
1.3 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/cyclist-org/cyclist
- Programming language
- OCaml, C++
- Development Status
- Active