Giacomo Vercesi 153f0288ef Generate model.ts via CMake

2022-05-04 11:45:02 +02:00

..

ABI

ABI: improve RegisterStateDeductions

2022-04-15 18:25:11 +02:00

BasicAnalyses

Adopt cmake-format

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

EarlyFunctionAnalysis

EFA: leverage ABI-specific layer

2022-04-15 18:25:11 +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

Generate model.ts via CMake

2022-05-04 11:45:02 +02:00

Pipeline

revng-pipeline: introduce artifacts

2022-04-26 15:59:35 +02:00

PipelineC

revng-pipeline: introduce artifacts

2022-04-26 15:59:35 +02:00

Pipes

Fix StringMapContainer::remove on isAll target

2022-04-27 17:08:13 +02:00

Recompile

Move librevngRecompile to analyses

2022-04-26 15:05:30 +02:00

Support

Use /proc/self/maps to determine root

2022-04-28 22:18:08 +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