Artifact for Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools

This artifact accompanies our paper Yumeng He, Chandrakana Nandi, Sreepathi Pai, "Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools", OOPSLA 2025. The paper describes an algorithm for comparing 3D printer G-code files using a novel graphical semantics and comparison algorithm. It contains:

• Results from our experiments that are used in the paper:
  • from rotation invariant checking experiments, including results from error-free models
  • from mesh repair tools experiments
  • from slicer comparison experiments
• A Python implementation of our algorithms and some external dependencies
• Inputs and scripts to re-run our experiments
• STL Models to use for reproducing our experiments fully

This artifact was tested on Linux and requires machines with large amount of RAM (our machines had 48GB + 32 GB swap and 64GB) to rerun our experiments. It requires about 200GB of disk space uncompressed, more if you want to re-run the experiments fully. Python 3.9 or higher is required (though Python 3.13 does not work). The artifact installs into a virtual environment.

This artifact is divided into three parts:

1. Source Code and Experimental Setup (this part)
2. Results of the Invariant Checking Experiments
3. Results of the Slicer Comparison and Mesh Repair Tools Experiment

This is an updated version containing:

• Numerous performance improvements
• Bug fixes to some of the experiment scripts
• New non-interactive heatmap visualization scripts
• All data from experiments run on CloudLab.