GRANDSLAM: Linearly Scalable Model Synthesis

This artifact package contains all models synthesized (and intermediate artifacts) described in the paper "GRANDSLAM: Linearly Scalable Model Synthesis". It contains all 4,600 synthesized Simulink models we report in the paper, 100 of which that are larger than any prior open-source Simulink model. The synthesized entities may be useful for fuzzing or scalability tests. Our model synthesizer is the first of its kind that scales linearly. Its approach can be generalized to any other modeling or textual language. The synthesized models are in the folders '0' (2,300 statically valid models, some very large) and '1' (2,300 statically valid models, of which around 50% are also compilable and simulatable). For a more detailed description, follow the README.md of the code.