Massimo Fioravanti ea02b4080a PipelineC: introduce rp_apply_model_diff ...

This exposes the invalidation to users of the C API.

2022-04-15 15:18:56 +02:00

..

ABI

QualifiedType RawFunctionType.StackArgumentsType

2022-04-08 18:58:58 +02:00

BasicAnalyses

Adopt cmake-format

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

EarlyFunctionAnalysis

TupleTreeGenerator: autogenerate Kind

2022-04-08 17:36:59 +02:00

FunctionCallIdentification

Adopt cmake-format

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

FunctionIsolation

EnforceABI: add FunctionTags::ABIEnforced tag

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

Lift

EFA: take the control-flow graph out of the model

2022-04-05 15:37:57 +02:00

Model

Redesign TupleTreeDiff

2022-04-15 15:14:13 +02:00

Pipeline

Introduce ModelInvalidationEvent

2022-04-15 15:17:58 +02:00

PipelineC

PipelineC: introduce rp_apply_model_diff

2022-04-15 15:18:56 +02:00

Pipes

Introduce revng pipeline --invalidate-all

2022-04-15 15:18:28 +02:00

Recompile

LinkForTranslation: reorganize command printing

2022-03-28 12:17:05 +02:00

Support

Adopt clang-tidy: readability-identifier-naming

2022-04-04 21:15:52 +02:00

TypeShrinking

Adopt cmake-format

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

UnitTestHelpers

Adopt cmake-format

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

CMakeLists.txt

Drop Dump/CollectCFG.cpp

2022-04-05 15:37:56 +02:00