Formal Methods Playground Alloy Dataset

Dataset containing Alloy models edited and analyzed on the Formal Methods Playground at https://play.formal-methods.net/. Each entry of the dataset contains: id: the unique identifier of the entry parent: the parent of the entry code: the complete code of the model permalink: the permalink to the model in the Formal Methods Playground. can be accessed by appending to the URL: https://play.formal-methods.net/?check=ALS&p=<permalink> time: the timestamp of the entry cmd: the index of the command (starting from 1)