Pietro Fezzardi 7c82ba6d52 Make model::Type::edges() method const

2022-04-08 12:50:03 +02:00

..

ABI

Move Concepts.h into include/ADT for better reuse

2022-03-30 17:09:24 +02:00

ADT

Use Kind field for upcasting in YAML

2022-04-06 17:21:15 +02:00

BasicAnalyses

Move Concepts.h into include/ADT for better reuse

2022-03-30 17:09:24 +02:00

EarlyFunctionAnalysis

Automatically assign Kind in constructor

2022-04-06 17:37:45 +02:00

FunctionCallIdentification

GCBI: create wrappers to support old and new PM

2021-01-28 17:03:31 +01:00

FunctionIsolation

Move StackAnalysis to EarlyFunctionAnalysis

2021-12-15 18:03:30 +01:00

Lift

Turn lifting into a pass

2022-03-11 15:37:12 +01:00

MFP

Move Concepts.h into include/ADT for better reuse

2022-03-30 17:09:24 +02:00

Model

Make model::Type::edges() method const

2022-04-08 12:50:03 +02:00

Pipeline

Adopt clang-tidy: readability-identifier-naming

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

PipelineC

Adopt clang-tidy: readability-identifier-naming

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

Pipes

Move LinkForTranslationPipe to lib/Recompile

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

Recompile

Introduce revng-link-for-translation

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

Runtime

Let FunctionIsolation and EnforceABI use the Model

2021-02-19 09:39:49 +01:00

Support

EFA: support dynamic function calls

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

TupleTree

TupleTree: make const TupleTree& behave as such

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

TypeShrinking

mv include/revng/{TypeShrinking,MFP}/SetLattices.h

2021-12-17 18:51:06 +01:00

UnitTestHelpers

Use #pragma once for header include guards

2020-11-13 14:12:18 +01:00