summaryrefslogtreecommitdiff
path: root/tests/examplefiles/alloy/example.als.output
Commit message (Expand)AuthorAgeFilesLines
* Update Alloy for Alloy 6 (PR #1963) manual cherry-pickHillel2022-11-191-28/+28
* Modernize Whitespace token: dsls lexerSebastian Engel2021-11-021-732/+732
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-201-0/+2179