aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus/injections.scm
Commit message (Expand)AuthorAgeFilesLines
* feat!: drop modules, general refactor and cleanupChristian Clason2025-05-121-5/+0
* chore: query formattingPham Huy Hoang2024-01-191-2/+2
* chore(injections)!: update injection syntax to 0.9Pham Huy Hoang2023-08-121-2/+3
* update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin2022-01-251-1/+1
* Added TLA+ grammar & queriesAndrew Helwer2021-08-201-0/+4