Artifact for OOPSLA'26: Specy: Learning Specifications for Distributed Systems from Event Traces

This archive contains the artifact of the OOPSLA'26 paper "Specy: Learning Specifications for Distributed Systems from Event Traces". PInfer-OOPSLA-Artifact-main.zip: https://github.com/AD1024/PInfer-OOPSLA-Artifact/tree/3dd4222228da0d0292f00fb4c5fceeea510620ad PInfer-Benchmarks-oopsla-artifact.zip: https://github.com/AD1024/PInfer-Benchmarks/tree/3dad8657f6ff15b217074f8fa499fe6c364ee7a0 *Please note that PInfer-OOPSLA-Artifact-main is downloaded via GitHub webpage, where the "pinfer_traces.tar" is a pointer file to the GitHub LFS. Before building the docker image, please overwrite this pointer file with the pinfer_traces.tar in this archive.*