2021/11/24 by Eddie Jones, Jones, Eddie, C-. H. Luke Ong +3
Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
paper · doi:10.48550/arxiv.2111.12553
openalex publication_date 2021/11/24 · openalex created_date 2022/05/05 · openalex updated_date 2026/07/28
A virtual machine image is provided containing the CycleQ equational reasoning tool and benchmark data for artifact evaluation as part of the PLDI22 review process. The image is a standard Ubuntu 20.04.4 LTS minimal install, to which we added ghc-9.0.2 and cabal-3.6.2.0 (for compiling and running the artifact) and graphviz (for visualising proofs). The virtual machine image was created using Virtual Box 6.1.32 on a Windows 10 host. To get started log in with the user name and password "pldi22", this may be done automatically. On the desktop you will find the CycleQ directory containing the tool and a readme file explaining how to use and evaluate it.