Skip to content

Releases: WatForm/dashplus-alloy-testing

Release list

Corpora of Alloy Models

Corpora of Alloy Models Latest
Latest

Choose a tag to compare

View all tags
@nancyday nancyday released this 17 Jun 15:22
corpora-alloy-models
056d787
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Download catalyst-corpus.zip below.
Download eid-day-expert-models.zip below.
Ignore the automatically generated Source code archives.

This .zip is NOT a release of this repo.

catalyst-corpus.zip is a collection of .als models scraped from the web in Oct 2025. Duplicates have been removed from the set. Models that timed out in AA6.2 parsing and typechecking have been removed. There are two subdirectories: 1) ones that pass AA6.2 parsing and typechecking (CompUtil.parseEverything_fromFile(null, null, args[0])) and 2) ones that don't pass AA6.2 parsing and typechecking. Approx 78,000 .als files in total split fairly evenly in the two directories.

eid-day-expert-models.zip contains scripts for downloading the collection of Alloy Models used in the paper "Static Profiling of Alloy Models" by Eid and Day. These scripts were created by Elias Eid, Nancy Day, and Ryan Dancy.

Assets 4
Loading