Alessandro Di Federico b34031f828 Import sections into segment's struct ...

Each model::Segment is associated to a model::StructType. Now we also
create sub-`structs` for sections, if available.

2024-02-08 16:57:40 +01:00

..

ABI

ToCFT: improve naming

2024-01-29 11:57:54 +02:00

BasicAnalyses

RegisterClobberer -> OpaqueRegisterUser

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

EarlyFunctionAnalysis

Add pipeline invalidation

2024-01-02 11:14:56 +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

Stop using std:: prefix for std::size_t

2024-01-29 11:57:54 +02:00

Lift

Prefer uint64_t to size_t wherever relevant

2024-01-29 11:57:54 +02:00

Model

Import sections into segment's struct

2024-02-08 16:57:40 +01:00

Pipeline

Prefer uint64_t to size_t wherever relevant

2024-01-29 11:57:54 +02:00

PipelineC

Stop using std:: prefix for std::size_t

2024-01-29 11:57:54 +02:00

Pipes

Implement container cache pruning

2024-01-26 17:46:21 +01:00

PTML

Stop using std:: prefix for std::size_t

2024-01-29 11:57:54 +02:00

Recompile

Prefer uint64_t to size_t wherever relevant

2024-01-29 11:57:54 +02:00

Storage

Stop using std:: prefix for std::size_t

2024-01-29 11:57:54 +02:00

Support

ResourceFinder: implement getComponentsHash

2024-01-26 17:46:21 +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

Prefer uint64_t to size_t wherever relevant

2024-01-29 11:57:54 +02:00

CMakeLists.txt

revng: introduce S3 support

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