| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat!: drop modules, general refactor and cleanup | Christian Clason | 2025-05-12 | 1 | -5/+0 |
| * | chore: query formatting | Pham Huy Hoang | 2024-01-19 | 1 | -2/+2 |
| * | chore(injections)!: update injection syntax to 0.9 | Pham Huy Hoang | 2023-08-12 | 1 | -2/+3 |
| * | update TLA+ revision, add queries for PlusCal (#2344) | Vasiliy Morkovkin | 2022-01-25 | 1 | -1/+1 |
| * | Added TLA+ grammar & queries | Andrew Helwer | 2021-08-20 | 1 | -0/+4 |
