 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 |
|