Code and Data Artifact for "Relational Moment Abstract Interpretation for Probabilistic Programs with Observe, Mixtures, and Loops"

This artifact contains the implementation, benchmark definitions, generated evaluation environments, and experimental result files used in the manuscript “Relational Moment Abstract Interpretation for Probabilistic Programs with Observe, Mixtures, and Loops.” It includes the core analysis code, benchmark suites, result tables and CSV files, and auxiliary scripts for reproducing the reported experiments and exported tables. The package is intended to support transparency and reproducibility of the results reported in the submission.