Giacomo Vercesi
0ac78dddba
Fix codespell errors
...
Fix erros detected by the new version of `codespell`.
2025-04-24 13:22:14 +02:00
Giacomo Vercesi
3fe3a8524a
Implement mass testing
...
Add the `revng mass-testing` commands and auxiliary executables which
simplify running revng on a huge quantity of input executables.
2024-10-01 13:38:21 +02:00
Ivan Krysak
db6254c50e
rcc: treat *.inc as c plus plus files
2024-06-27 11:05:52 +02:00
Ivan Krysak
ee238fd473
RCC: allow prettier to print errors
2024-06-27 11:05:49 +02:00
Alessandro Di Federico
84e3fac538
Minor changes
2024-05-29 12:06:03 +02:00
Giacomo Vercesi
5978300476
codespell: ignore CSS files
2024-02-09 10:04:24 +01:00
Giacomo Vercesi
0cb3e497a4
Fix typos
2023-11-02 16:48:33 +01:00
Ivan Krysak
ce6d9a6dbf
Formatting: forbid \brief
2023-07-05 14:33:03 +02:00
Ivan Krysak
ee0dc1866d
Forbid clang format off
2023-07-03 15:23:10 +00:00
Ivan Krysak
0e061aedc4
Make clang-format-style-file a YAML file
2023-07-02 11:06:55 +00:00
Giacomo Vercesi
52d20ffc36
rcc: add commit check
...
Add the command-line flag `--check-commit` to `revng-check-conventions`,
this will introduce additional checks related to commits message
conformity.
2023-05-11 10:05:32 +02:00
Giacomo Vercesi
31cd2b53f9
rcc: add codespell
...
Add codespell to the list of checks performed by
revng-check-conventions. This should reduce the amount of typos present
in the revng codebase.
2023-05-11 10:05:32 +02:00
Giacomo Vercesi
471b9c8396
rcc: fix issues with mypy>=1.0
...
Add additional config options to the `revng-check-conventions` config to
make mypy work with the revng codebase (mainly related to untyped
functions now causing a warning in mypy).
2023-05-11 10:02:46 +02:00
Alessandro Di Federico
4b2e067574
rcc: ban functions we wrap
2023-04-28 14:34:52 +02:00
Giacomo Vercesi
8e05ae5ead
rcc: fix report output with multiple rules
...
The rule output logic was wrongly coded to do `"\n".join` where
appending a newline to each line was the correct behavior.
Also remove a leftover typo in `rcc-config.yml`.
2023-03-13 22:53:44 +01:00
Alessandro Di Federico
892922794e
rcc-config.yml: ban "#pragma clang optimize off"
2023-02-23 14:51:10 +01:00
Alessandro Di Federico
1d4fc9de5b
rcc-config.yml: add documentation
2023-02-23 14:51:10 +01:00
Massimo Fioravanti
9eb33bcf8e
check-convention: fix detection of asserts
...
A typo prevented check conventions from detecting non-revng asserts in
the code, which are forbidden.
2023-02-09 13:44:30 +01:00
Giacomo Vercesi
bf4122ed0a
Introduce v2 of revng-check-conventions
2022-09-29 15:21:59 +02:00