Alessandro Di Federico ade0603d3f Add docs for artifacts and analyses

2024-12-11 16:15:10 +01:00

..

ABI

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

ADT

ScopeGraph: introduce the ScopeGraph

2024-12-05 15:43:57 +01:00

Backend

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

BasicAnalyses

Import revng-c's FunctionTags.h

2024-10-31 17:19:51 +01:00

DataLayoutAnalysis

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

EarlyFunctionAnalysis

EFA, Yield: handle blockless functions

2024-10-31 17:19:51 +01:00

FunctionCallIdentification

Use Container::contains() where appropriate

2023-07-02 15:06:11 +00:00

FunctionIsolation

Adopt invalidation along the core pipeline

2024-06-20 10:24:50 +02:00

GraphLayout

Stop using std:: prefix for std::size_t

2024-01-29 11:57:54 +02:00

HeadersGeneration

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

InitModelTypes

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

Lift

Improve usages of Expected<T>

2024-10-10 14:50:26 +02:00

MFP

MFP: use the provided GraphTraits for RPOT

2024-04-18 17:50:32 +02:00

mlir

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

Model

Model: improve documentation

2024-12-11 16:15:09 +01:00

Pipeline

Add docs for artifacts and analyses

2024-12-11 16:15:10 +01:00

PipelineC

Introduce an error creation helper

2024-11-06 15:20:37 +02:00

Pipes

Introduce an error creation helper

2024-11-06 15:20:37 +02:00

PromoteStackPointer

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

PTML

Adopt name builder across the model users

2024-11-06 15:43:13 +02:00

Recompile

Drop Pipe::print

2024-09-27 12:07:18 +02:00

RegisterUsageAnalyses

Add some missing includes

2024-05-03 21:52:40 +02:00

RemoveExtractValues

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RestructureCFG

ScopeGraph: introduce the ScopeGraph

2024-12-05 15:43:57 +01:00

Runtime

Minor changes

2024-07-10 15:34:19 +02:00

Storage

Introduce an error creation helper

2024-11-06 15:20:37 +02:00

Support

ScopeGraph: introduce the ScopeGraph

2024-12-05 15:43:57 +01:00

tests/unit

ModelTypeTests: pass the binary to the verifier

2024-11-06 15:42:44 +02:00

TupleTree

Replace std::string_view with llvm::StringRef

2024-11-06 15:43:13 +02:00

TypeNames

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

TypeShrinking

BitLivenessWrapperPass::dump

2024-07-10 16:19:26 +02:00

UnitTestHelpers

Initialize pointers to nullptr

2024-09-27 12:07:17 +02:00

ValueMaterializer

Add DataFlowGraph::materializeOne method

2024-05-29 16:25:53 +02:00

Yield

Replace std::string_view with llvm::StringRef

2024-11-06 15:43:13 +02:00

CMakeLists.txt

Merge revng-c into revng

2024-11-21 10:50:55 +01:00