893ca56921
Require separate output arguments in revng pipe
...
Each mutable container used by the pipe now requires a separator output
path argument.
2025-06-04 15:13:47 +02:00
4380f374b1
Fix revng pipe output container targets
...
Previously revng pipe did not correctly propagate targets from input
containers into output containers based on the pipe contract. This
happened to work for pipes acting on LLVM containers where the same
container is used for input and output, but failed for the Clift backend
pipe, where an MLIR container is used for input and a string map
container is used for output.
2025-06-04 15:13:47 +02:00
79272adc9d
CLI: check that FilePaths are actually files
...
Add checks that return an `llvm::Error` in case a provided path is a
directory in the case a `FilePath` was requested.
2025-05-07 16:42:34 +02:00
0f6b6e00bd
Add revng init
...
Add a new `revng` command that allows to initialize a resume directory.
2025-05-07 10:48:49 +02:00
e3074ec29a
revng artifact: omit kind
...
When working with `revng artifact`, omit the kind in both the output of
`--list` and the parameters taken specifying which targets to produce.
2025-05-07 10:48:48 +02:00
6a6b34b831
Introduce a general static registry helper
2025-04-17 11:19:17 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
ab9da50e68
Remove unreachable return in clift-opt
2025-01-10 08:03:20 +02:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
2be6f4aebb
TypeSystemPrinter: adopt name builder
2024-11-06 15:43:13 +02:00
1eb80ecd2d
Introduce an error creation helper
2024-11-06 15:20:37 +02:00
bd84bd7f2e
Rework --analyze and --analyses-list
2024-10-31 17:19:51 +01:00
bf9ef91f4e
Drop revng model import binary
2024-10-16 11:46:56 +02:00
48dd571500
Drop revng model dump
2024-10-16 11:44:26 +02:00
a0c670652c
Improve usages of Expected<T>
2024-10-10 14:50:26 +02:00
99e016f120
ABI: reorganize default ABI helpers
2024-10-08 13:53:52 +02:00
683bcf66d8
Drop revng- prefix from libexec executables
...
The revng CLI driver no longer uses the `revng-` prefix for executables
under `libexec/revng`.
2024-10-01 20:34:38 +02:00
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
bc064244d6
s/deserialize/fromString/g
2024-09-27 12:07:17 +02:00
c8d4381297
s/Context &Ctx/Context &Context/g
2024-09-27 12:07:17 +02:00
c92c109424
revng artifact: error out if step has no artifact
2024-08-07 16:07:59 +02:00
7b00473859
PDBImporter: rework .pdb search
2024-08-05 17:41:34 +02:00
d50e7e9451
revng artifact: anticipate artifact name check
2024-07-25 17:44:03 +02:00
966caa4137
revng artifact: fix handling of target arguments
...
This commit adds to `revng artifact` help the part of the command line
accepting a list of targets.
Also, it fixes the parsing of targets.
2024-07-09 08:58:51 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
b2959e36df
Minor improvements
2024-06-27 11:05:48 +02:00
e90dd20b69
Introduce revng analyze --save-invalidations
2024-06-20 10:24:51 +02:00
b0d897b87d
Minor changes
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
ba58ec8edb
Add import-clift-types pipe
2024-05-29 15:43:35 +02:00
a8e2bb8c48
Add ImportModelType pass, register in clift-opt
2024-05-29 15:43:35 +02:00
c0fd99e0c2
Restrict the dialects available in clift-opt
2024-05-29 15:43:35 +02:00
8479f3d8b8
artifact: reorganize how we run analysis lists
2024-03-01 14:28:12 +01:00
85abd9b6fc
revng artifact: introduce --analyze
2024-02-29 18:04:35 +01:00
0c212b66d9
Relicense to MIT
2024-02-29 17:03:36 +01:00
19c0999e65
Drop tools/link-for-translation
2024-02-09 10:04:26 +01:00
346b367c19
Drop revng efa-extractcfg
2024-02-09 10:04:25 +01:00
e48430798f
{artifact,analyze}: fix output with no arguments
2024-02-09 10:04:22 +01:00
4d9de92c77
revng-analyze: handle analysis name != type name
2024-02-09 10:04:17 +01:00
011d04eaaa
Drop obsolete tools
2024-02-09 09:03:34 +01:00
a09a4ab2bf
Adapt switch to detail::GenericStringMap
...
This commit adapts the changes introduced in revng that generalize
`FunctionStringMap`.
2024-01-26 19:13:58 +01:00
c276a439b5
Add pipeline invalidation
...
Replace the stub implementation of invalidation with the proper
implementation. A ReadPathCache is added to each global so that it can
keep tracks of what target are associated to which read paths.
2024-01-02 11:14:56 +01:00
da144f1fee
revng trace run: allow providing resume directory
...
Allow the `revng trace run` to provide a resume directory from the
command line to use when creating the first manager.
2023-11-03 18:29:10 +01:00
0b2754c824
pipeline: drop Disk from storage methods
...
This commit changes the following method names across the codebase:
* `storeToDisk` -> `store`
* `loadFromDisk` -> `load`
This has been done since the storage is no longer bound to the local
storage.
2023-09-06 15:23:43 +02:00
93d3a6238d
revng: introduce S3 support
...
Add the capability for all revng tooling to run with an S3-backed
workdir.
2023-09-06 15:23:43 +02:00
f3d6bbb047
s/ThePTMLCBuilder/B/g
2023-08-23 16:40:54 +02:00
f81e9d615b
dumpModelToHeader: introduce struct for options
...
This commit also introduces a new option for emitting code right after
the `#include` section.
2023-08-23 16:37:39 +02:00
4003269e17
revng analyze: fix typo in argument description
...
s/ArtifactToProduce/AnalysisToRun
The misspelling on the argument description made the --help option very
unhelpful in discovering the proper usage of the tool.
2023-08-23 15:54:29 +02:00
14525d91f5
Adopt llvm::Task
2023-08-01 10:51:16 +02:00
Lauri Vasama