Alessandro Di Federico c5c657d11b Lift: increase determinism

2025-04-15 15:31:10 +02:00

..

ABI

ABI: fix a rare crash on a misaligned argument

2025-03-05 08:57:35 +02:00

Backend

CCodeGenerator::getModelGEPToken: relax assumption

2025-03-05 15:25:59 +01:00

BasicAnalyses

Target::dump: use toString

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

Canonicalize

MakeModelCastPass: allow casting non-scalars

2025-03-05 14:47:46 +01:00

DataLayoutAnalysis

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

EarlyFunctionAnalysis

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

FunctionCallIdentification

Initialize pointers to nullptr

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

FunctionIsolation

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

GraphLayout

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

HeadersGeneration

ModelToHeader: adjust blank lines

2024-11-27 17:18:12 +01:00

ImportFromC

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

InitModelTypes

InitModelTypes: improve types of void * variables

2025-03-05 12:22:30 +01:00

Lift

Lift: increase determinism

2025-04-15 15:31:10 +02:00

LocalVariables

LocalVariableBuilder: add pointer size assumption

2025-03-17 08:51:29 +01:00

mlir

Implement dirty bit on Container

2025-04-03 15:59:18 +02:00

Model

ELFImport: fix input file missing

2025-03-14 13:05:39 +01:00

Pipeline

Implement dirty bit on Container

2025-04-03 15:59:18 +02:00

PipelineC

ELFImport: fix input file missing

2025-03-14 13:05:39 +01:00

Pipes

Implement dirty bit on Container

2025-04-03 15:59:18 +02:00

PromoteStackPointer

LocalVariableBuilder: add pointer size assumption

2025-03-17 08:51:29 +01:00

PTML

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

Recompile

Drop Pipe::print

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

RemoveExtractValues

Merge revng-c into revng

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

RemoveLiftingArtifacts

Don't include model::NameBuilder from the binary

2025-02-13 13:09:50 +02:00

RestructureCFG

IDS: introduce pass

2025-04-02 16:47:14 +02:00

Storage

LocalStorageClient: save filelist

2025-03-27 12:45:29 +01:00

Support

Lift: increase determinism

2025-04-15 15:31:10 +02:00

TypeNames

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

TypeShrinking

Introduce early-type-shrinking

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

UnitTestHelpers

Add some missing includes

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

ValueMaterializer

AVI: set the extremal value ot top

2025-04-15 15:31:10 +02:00

Yield

Yield: fix call graph node height being set to 0

2025-03-04 13:34:51 +02:00

CMakeLists.txt

Add helpers to manipulate model type metadata

2025-01-29 15:17:15 +01:00