 Giacomo Vercesi
|
81d25f9805
|
PipelineC: expose invalidation logic
|
2022-10-30 09:13:14 +01:00 |
|
|
Massimo Fioravanti
|
d55aa9b9e6
|
Pipeline: remove * from targets
Now * is just a pipeline frontend shorthand.
|
2022-10-20 14:20:12 +02:00 |
|
|
Massimo Fioravanti
|
633f49c1ef
|
Introduce dedicated namespace for kinds and ranks
|
2022-08-29 14:44:53 +02:00 |
|
|
Massimo Fioravanti
|
6b099c57e8
|
Pipeline: introduce options for analyses
|
2022-08-29 14:43:25 +02:00 |
|
|
Massimo Fioravanti
|
55b2e42139
|
revng-pipeline: introduce --apply-model-diff
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
d250d43ee4
|
revng-pipeline: factor out common CLI options
Common CLI options that were used by multiple tools and have now been
isolated into a single include file to be used before declaring main.
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
b49062b2d6
|
revng-pipeline: introduce --produce-all-single
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
0bb115a4f3
|
revng-pipeline: rework syntax for targets
Was: step:container:p/a/t/h:kind
Now: step/container/p/a/t/h:kind
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
4cd5abe2b0
|
revng-pipeline: introduce --produce and --analyze
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
96bd5835d8
|
revng-pipeline: rework file-to-container syntax
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
85a9c9637f
|
revng-pipeline: rework logging
|
2022-08-10 09:49:24 +02:00 |
|
|
Massimo Fioravanti
|
84d6c2a4a8
|
revng-pipeline: drop redundant Logger
|
2022-08-10 09:49:24 +02:00 |
|
|
Davide Depau
|
8d89be44fc
|
Add initialization utility to all main functions
|
2022-07-22 21:04:03 +02:00 |
|
|
Massimo Fioravanti
|
1527a8667b
|
Introduce revng pipeline --analyze-all
|
2022-06-22 18:11:32 +02:00 |
|
|
Massimo Fioravanti
|
f8ad4e634d
|
Replace pipeline -load using LLVM -load mechanism
`revng -load` mechanism did not allow to specify arguments for loaded
libraries, the new LLVM mechanism allow to do so.
|
2022-06-13 18:30:08 +02:00 |
|
|
Massimo Fioravanti
|
f0a5ffe3b3
|
revng-pipeline: globals, extractOne and analyses
|
2022-05-24 08:58:48 +02:00 |
|
|
Ivan Krysak
|
2a6a7943f4
|
Fix a couple of minor typos
|
2022-05-06 18:51:47 +02:00 |
|
|
Massimo Fioravanti
|
3d752f6c7f
|
Introduce revng pipeline --invalidate-all
|
2022-04-15 15:18:28 +02:00 |
|
|
Massimo Fioravanti
|
44720eedbd
|
Redesign TupleTreeDiff
`TupleTreeDiff` is now type-safe and owns the changes.
|
2022-04-15 15:14:13 +02:00 |
|
|
Massimo Fioravanti
|
8bbd3b9435
|
revng-pipeline: move from --quiet to --verbose
|
2022-03-28 12:17:05 +02:00 |
|
|
Massimo Fioravanti
|
c05b5dbb28
|
Steps now represent the *end* of a step
A special "begin" step has been introduced.
|
2022-03-28 12:17:05 +02:00 |
|
|
Alessandro Di Federico
|
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 |
|
|
Alessandro Di Federico
|
5e38805063
|
Rename detail namespaces into revng::detail
|
2022-03-11 15:37:12 +01:00 |
|
|
Alessandro Di Federico
|
e80d159944
|
revng-pipline: simplify Kinds.h
|
2022-02-08 17:44:33 +01:00 |
|
|
Massimo Fioravanti
|
67f9cbdf4c
|
Introduce the revng-pipeline CLI tool
|
2022-02-08 00:05:03 +01:00 |
|