summaryrefslogtreecommitdiff
path: root/queries/tlaplus/injections.scm
AgeCommit message (Collapse)Author
2022-01-25update TLA+ revision, add queries for PlusCal (#2344)Vasiliy Morkovkin
2021-08-20Added TLA+ grammar & queriesAndrew Helwer