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,419 Commits 215 Branches 0 Tags
feature/better-debugging
Commit Graph

5 Commits

Author SHA1 Message Date
Alessandro Di Federico b91c0f88c6 tmp 2025-09-10 17:59:45 +02:00
Alessandro Di Federico b532b0674a tmp 2025-09-10 13:57:46 +02:00
Tommaso Fontana 680f5cacf2 Apply revng check-conventions --force-format 2025-09-10 12:05:14 +02:00
Lauri Vasama 4648fe672f Allow commit message ending with backticks 2025-03-19 12:57:14 +02:00
Giacomo Vercesi 993f66d59c revng cli: drop revng- prefix from libexec 
Drop using the `revng-` prefix from all executables under
`libexec/revng/`. Now any executable found under there that is
executable and without extension will be considered a `revng`
subcommand, following the usual command-line rules.
 2024-10-01 13:38:14 +02:00