Alessandro Di Federico 1b62d1eab3 PathMatcher: handle UpcastablePointers

2022-08-26 16:46:59 +02:00

..

ABI

Make abi::FunctionType::Layout::Layout() public

2022-08-08 13:55:25 +02:00

ADT

Implement std::set intersection

2022-08-08 13:55:23 +02:00

BasicAnalyses

Rework EarlyFunctionAnalysis

2022-08-08 13:55:34 +02:00

EarlyFunctionAnalysis

tuple_tree_generator: make C++ just a regular backend

2022-08-11 16:20:42 +02:00

FunctionCallIdentification

GCBI: create wrappers to support old and new PM

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

FunctionIsolation

Rework EarlyFunctionAnalysis

2022-08-08 13:55:34 +02:00

Lift

Add a non-pass binary loader

2022-05-06 18:51:47 +02:00

MFP

Adopt std::same_as of libcxx

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

Model

tuple_tree_generator: make C++ just a regular backend

2022-08-11 16:20:42 +02:00

Pipeline

getAcceptedKinds: introduce new assertion

2022-08-26 09:50:42 +02:00

PipelineC

PipelineC: expose globals verification

2022-07-28 08:47:46 +02:00

Pipes

ImportBinary: turn into an analysis

2022-08-26 09:50:42 +02:00

PTML

Standardize concept naming across the codebase

2022-08-05 17:27:56 +03: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

revng-pipeline: rework logging

2022-08-10 09:49:24 +02:00

TupleTree

PathMatcher: handle UpcastablePointers

2022-08-26 16:46:59 +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

Yield

tuple_tree_generator: make C++ just a regular backend

2022-08-11 16:20:42 +02:00