admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
6,113 Commits 215 Branches 0 Tags
feature/python-client
Commit Graph

3 Commits

Author SHA1 Message Date
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 cf0921ab31 revng-check-conventions: allow ignoring InitRevng 
Add an additional `rcc-ignore` rule to ignore the absence of `InitRevng`
in a `Main.cpp` file
 2023-04-20 14:43:11 +02:00
Giacomo Vercesi bf4122ed0a Introduce v2 of revng-check-conventions 2022-09-29 15:21:59 +02:00