ba0f374eae
revng cli: add --wrapper option
...
Add the `--wrapper` option which allows the user to pass an arbitrary
wrapper to the invocation of executables.
2024-09-10 10:14:12 +02:00
2dfca729bc
commands_registry: fix wrapper assertion
...
Add missing wrappers to the assertion that checks that only one wrapper
can be used at a time.
2024-09-10 10:14:12 +02:00
670b519973
model compare: fix typos
2024-08-16 16:33:10 +02:00
d28bc717c6
model compare: report best match upon failure
2024-08-16 13:36:19 +02:00
99149c1b36
Drop revng lift
2024-08-07 16:07:59 +02:00
7b00473859
PDBImporter: rework .pdb search
2024-08-05 17:41:34 +02:00
3f60b74a28
fetch-debuginfo: soft fail if no network
2024-07-09 12:02:31 +02:00
71b7fae69d
revng --version: emit component hashes
2024-06-30 19:36:48 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
b6625e8913
Model: simplify fixModel pass
...
Instead of getting reimplemented/updated, it now just reuses normal
type verification routines.
2024-06-27 11:05:50 +02:00
23aed24be1
Model: make compare key-strict
...
Before now it only looked at `ID`s which made it incompatible with
models that reuse the same ID for different kinds.
2024-06-27 11:05:50 +02:00
ac587cbb4f
Model: rename Type into TypeDefinition
2024-06-27 11:05:48 +02:00
f8776ef8b5
Introduce revng tar-to-yaml
2024-06-20 10:24:50 +02:00
b0d897b87d
Minor changes
2024-06-20 10:24:49 +02:00
0ac71816a6
revng daemon: improve detection of interpreter
...
This ensures we wait for the right process.
2024-06-20 10:24:49 +02:00
9a35d6da40
revng graphql: improve error reporting
2024-06-20 10:24:49 +02:00
43349943a7
Stop serializing the model in the IR
2024-06-20 09:57:36 +02:00
7ee8c8000d
Introduce revng pipe
2024-06-20 09:57:36 +02:00
c1b59567c6
revng graphql: gracefully handle server disconnect
...
Gracefully handle the server disconnecting from a `revng graphql`
invocation. Instead of letting the stack trace be printed, output an
appropriate error message.
2024-06-06 16:35:26 +02:00
44e5328477
Yield: add explicit directive support
2024-03-18 11:40:32 +00:00
a3e9e689ca
cli/ptml: add support for the new asm tokens
2024-03-18 07:20:41 +00:00
e1060ed6ed
cli/ptml: fix asm.helper support
2024-03-18 07:20:41 +00:00
757f7e21d7
Import docs
2024-02-09 10:04:24 +01:00
d9367954a4
Convert all public strings to kebab-case
2024-02-09 10:04:24 +01:00
2bdca8ab03
Rename steps and analyses
2024-02-09 10:04:22 +01:00
6f60d9b492
Introduce revng --rr
2024-02-09 10:04:19 +01:00
028908a592
revng graphql: print analyses' errors
2024-01-02 15:08:26 +01:00
e5347b2910
Remove llvm pipeline
2024-01-02 11:14:55 +01:00
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
Giacomo Vercesi