Alessandro Di Federico 03c3372c57 ConvertToCABI: fix VerifyHelper usage

2023-12-12 14:00:04 +01:00

..

ABI

ConvertToCABI: fix VerifyHelper usage

2023-12-12 14:00:04 +01:00

BasicAnalyses

RegisterClobberer -> OpaqueRegisterUser

2023-12-11 16:29:13 +01:00

EarlyFunctionAnalysis

DetectABI: reorder functions

2023-12-12 10:20:32 +01:00

FunctionCallIdentification

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

FunctionIsolation

PromoteCSVs: always recreate allocas

2023-12-12 12:04:33 +01:00

GraphLayout

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

Lift

Pass PlainMetaAddress by pointer

2023-12-12 10:20:51 +01:00

Model

RawFunctionType: use NamedTypedRegister for return

2023-12-11 12:03:45 +01:00

Pipeline

Add Context Global Index

2023-11-03 12:13:58 +01:00

PipelineC

Tracing/Runner: improve pointer vector handling

2023-11-03 18:29:10 +01:00

Pipes

Fix: isolated functions targets overappresented

2023-11-06 14:33:56 +01:00

PTML

s/Layout::returnsAggregateType/Layout::hasSPTAR/

2023-12-12 12:04:34 +01:00

Recompile

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

Storage

Storage/Path.cpp: fix local path normalization

2023-11-03 12:13:57 +01:00

Support

Pass PlainMetaAddress by pointer

2023-12-12 10:20:51 +01:00

TypeShrinking

TypeShrinking: shrink zext(value) == constant

2023-07-26 10:16:25 +02:00

UnitTestHelpers

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

ValueMaterializer

AdvancedValueInfo: improve logging

2023-07-26 10:16:25 +02:00

Yield

Adopt new PTML tags

2023-11-03 16:30:40 +01:00

CMakeLists.txt

revng: introduce S3 support

2023-09-06 15:23:43 +02:00