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

4 Commits

Author SHA1 Message Date
Giacomo Vercesi 0f6b6e00bd Add revng init 
Add a new `revng` command that allows to initialize a resume directory.
 2025-05-07 10:48:49 +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
Massimo Fioravanti 7ee8c8000d Introduce revng pipe 2024-06-20 09:57:36 +02:00
Giacomo Vercesi 942cf50735 python: create python wheels 
Package revng's python code in two wheels: `revng` and `revng_internal`.
The revng wheel contains the
`revng.{pipeline_description,model,tupletree}` modules, while the
`revng_internal` one everything under `revng.internal`.
 2023-12-12 14:52:22 +01:00