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 Slicer Comparison and Mesh Repair Tools 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 Experiments Results of the Slicer Comparison and Mesh Repair Tools Experiment (this part)