Artifact for paper "Relational Abstractions Based on Labeled Union-Find"

This is a software artifact containing experiments and source code for the paper Relational Abstractions Based on Labeled Union-Find at PLDI 2025. It centers around the Codex abstract interpreter (called AnonAI in the anonymized paper) of C and binary code and the Colibri2 constraint solver (called AnonSolver in the anonymized paper). Both are written in OCaml. It contains their source code, as well as docker images with prebuilt binaries (for a linux x86/amd64 machine). It also contains instructions on how to compile locally, and how to rebuild the docker images from the sources.

See the contained README for requirements as well as instruction on how to run the artifact.

This update fixes some typos/unclear instructions in the README and fixes the  mk_stats_table.py script.