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

This part of our artifact contains the results of the Invariant Checking experiment. It requires the source code and experimental setup part of our artifact. It allows you to examine our results, as well as rerun our experiments. It accompanies our paper Yumeng He, Chandrakana Nandi, Sreepathi Pai, "Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools", submitted to OOPSLA. The paper describes an algorithm for comparing 3D printer G-code files using a novel graphical semantics and comparison algorithm. This artifact is divided into three parts: Source Code and Experimental Setup Results of the Invariant Checking Experiment (this part) Results of the Slicer Comparison and Mesh Repair Tools Experiment This is an updated version. The data is now collected from CloudLab, and we have added running time data.