0d49b4a982
Introduce the revng-daemon command
2022-04-26 15:05:30 +02:00
bbce0b33e5
revng-check-conventions: introduce isort
2022-04-20 09:57:08 +02:00
31a836e48c
revng-check-conventions: introduce flake8
2022-04-20 09:56:44 +02:00
d81dc49809
revng-check-conventions: license check
2022-04-20 09:55:18 +02:00
d70c19164e
revng: append search prefixes upon recursion
2022-03-28 14:34:10 +02:00
173ad98661
revng driver: introduce --keep-temporaries
2022-03-17 16:46:02 +01:00
cdeb1ea507
revng driver: introduce --dry-run
2022-03-17 16:46:02 +01:00
6832698e5b
Introduce revng llvm pipeline
...
This is a wrapper to `revng-pipeline` designed to make the adoption of
pipelines easier for places where we are now using `revng opt`.
2022-03-17 16:46:02 +01:00
af6305725d
Rewrite revng driver infrastructure
...
It really needed some fresh air.
2022-03-17 16:46:00 +01:00
df00a892dd
Introduce revng.cli.lift
2022-03-17 14:10:50 +01:00
da7701bd4e
Move all executables except revng to libexec/revng
...
We used to collect all binaries into the `bin/` directory. However this
led to confusions since certain commands where available both as
`revng-command` and `revng command`.
This commit moves all the executables except `revng` into
`libexec/revng`, which, according to FHS, is dedicated to "internal
binaries that are not intended to be executed directly by users or shell
scripts".
2022-03-17 14:10:50 +01:00
0e387938be
Move scripts/revng to revng/cli/revng.py
2022-03-16 22:10:15 +01:00
Giacomo Vercesi