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
2,487 Commits 215 Branches 0 Tags
feature/python-trace
Commit Graph

2 Commits

Author SHA1 Message Date
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