refs/tags/SAS14 | SAS14 | b22c6af | Release of the abductive prover for inductively defined safety/termination preconditions for pointer programs. | 17 June 2014, 14:14:03 UTC |
refs/tags/POPL2024 | POPL2024 | da55c61 | Cyclist snapshot associated with the POPL 2024 paper "The Complex(ity) Landscape of Checking Infinite Descent" (DOI:10.1145/3632888) and corresponding Zenodo artifact (DOI:10.5281/zenodo.10073582). | 14 January 2024, 15:03:19 UTC |
refs/tags/IJCAR2022-Submission | IJCAR2022-Submission | e390576 | Tag for IJCAR2022 submission. | 21 February 2022, 22:53:58 UTC |
refs/tags/IJCAR2022-Rebuttal | IJCAR2022-Rebuttal | ba83e22 | Tag for version with bug fixes for IJCAR2022 rebuttal. | 27 April 2022, 13:20:44 UTC |
refs/tags/CSL-LICS14 | CSL-LICS14 | 334f7fa | Release of the satisfiability checker and its test suite. | 15 May 2014, 14:36:39 UTC |