Age | Commit message (Collapse) | Author | |
---|---|---|---|
2025-06-18 | Add auto-formatting of json file | Klaus Aehlig | |
Given the just added json-file formatter, we can generate a diff formatting properly all json files, i.e., all target, rules, and expression files, by applying that formatter to every target file and combining the patches. A target description doing precisely this can easily be obtained as computed root. In this way, we also make good use of caching. To avoid doing recomputing the target description unnecessarily, we factor through the tree structure of the repository tree; the latter, we obtain from the to-git view of the top-level directory, whereas for computing the diff we use the actual (not necessarily committed) files. | |||
2025-06-18 | Add script applying the clang-format diff | Klaus Aehlig | |
Our lint target already provides a target for the diff obtained from clang format. Add a convenience script computing and applying that patch. | |||
2025-06-13 | CONTRINBUTING: point to the newly added "lint" repository | Klaus Aehlig | |
To allow everyone to lint in the same way with minimal manual setup effort. | |||
2023-05-31 | Make test ["", "ALL"] really contain all tests | Klaus Aehlig | |
... but keep the option to not run the large tests. | |||
2023-05-24 | Split off tests into a separate logical repository | Klaus Aehlig | |
This allows better separation and, in particular, repositories needed only for tests do not have to be provided for building the tools. This also better documents which dependencies are only needed for testing. | |||
2022-11-09 | fix a typo | Alberto Sartori | |
2022-11-07 | Describe the contributing process | Klaus Aehlig | |