| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor(queries): Remove quotes from properties in set! directive | Omar Valdez | 2024-07-28 | 1 | -4/+4 |
| * | refactor(format): drop extra indentation for field | Phạm Huy Hoàng | 2024-03-21 | 1 | -6/+4 |
| * | chore: format queries | Phạm Huy Hoàng | 2024-01-21 | 1 | -3/+3 |
| * | chore: query formatting | Pham Huy Hoang | 2024-01-19 | 1 | -34/+115 |
| * | feat(locals)!: switch to upstream captures | Christian Clason | 2024-01-19 | 1 | -43/+43 |
| * | refactor: replace some match & vim-match usages | ObserverOfTime | 2023-08-23 | 1 | -2/+1 |
| * | Updated queries and parser version | Andrew Helwer | 2022-07-13 | 1 | -13/+60 |
| * | update TLA+ revision, add queries for PlusCal (#2344) | Vasiliy Morkovkin | 2022-01-25 | 1 | -0/+42 |
