Published February 5, 2025
| Version v2
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, 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.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:9b28c2ff33244d282bd2e052fb992301
|
13.0 MB | Preview Download |
|
md5:cd37054a98576aa716e4f31917310e4e
|
1.2 GB | Download |
|
md5:cd9277881afeda5465b69401a99d61dc
|
1.3 GB | Download |
|
md5:9696610671da8d1b0ab424df45ce076e
|
967.6 kB | Preview Download |
|
md5:d0638cb2a15e1f974c58754c02e59c46
|
58.8 MB | Preview Download |
|
md5:8f42acbedc92dc879f20166df3774356
|
31.4 kB | Preview Download |
Additional details
Funding
- Israel Science Foundation
- 790/21
Software
- Repository URL
- https://github.com/cyclist-org/cyclist
- Programming language
- OCaml, C++
- Development Status
- Active