aboutsummaryrefslogtreecommitdiffstats
path: root/queries/tlaplus/injections.scm
Commit message (Expand)AuthorAgeFilesLines
* update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin2022-01-251-1/+1
* Added TLA+ grammar & queriesAndrew Helwer2021-08-201-0/+4