Massimo Fioravanti 55fb87b268 PipelineC: introduce dead kinds ...

We need to prevent stub kinds used just to represent dead elements to be
displayed in the GUI and CL.
We do so by introducing a DeadKind which expands their targets to the
empty list.

2022-06-20 19:03:17 +02:00

..

CMakeLists.txt

Adopt cmake-format

2022-03-17 18:52:18 +01:00

DropRoot.cpp

PipelineC: introduce dead kinds

2022-06-20 19:03:17 +02:00

EnforceABI.cpp

EnforceABI: in case of no prototype, use default

2022-04-29 17:57:49 +02:00

InlineHelpers.cpp

Rename Lifted tag to Isolated

2022-03-17 14:10:50 +01:00

InvokeIsolatedFunctions.cpp

Introduce BinaryImporter

2022-03-08 15:15:24 +01:00

IsolateFunctions.cpp

revng-pipeline: globals, extractOne and analyses

2022-05-24 08:58:48 +02:00

PromoteCSVs.cpp

EnforceABI: add FunctionTags::ABIEnforced tag

2022-04-12 14:15:01 +02:00

RemoveExceptionalCalls.cpp

Rename Lifted tag to Isolated

2022-03-17 14:10:50 +01:00

StructInitializers.cpp

Use new OpaqueFunctionsPool init methods

2022-03-30 17:21:48 +02:00