Giacomo Vercesi 42a2f2bf05 Tuple Tree Generator: remove Model headers ...

This commit removes the inclusion of the `Binary.h` header in
Tuple-Tree Generator files, allowing Model-independent Tuple Trees to be
generated.

2023-09-14 15:06:14 +02:00

..

ABI

TupleTreeReference::isValid is for assertions only

2023-08-23 16:14:05 +02:00

BasicAnalyses

Enforce licence header consistency

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

EarlyFunctionAnalysis

TupleTreeReference::isValid is for assertions only

2023-08-23 16:14:05 +02:00

FunctionCallIdentification

Enforce licence header consistency

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

FunctionIsolation

Model: rework how we name things

2023-08-23 16:14:04 +02:00

GraphLayout

Enforce licence header consistency

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

Lift

TupleTreeReference::isValid is for assertions only

2023-08-23 16:14:05 +02:00

Model

Tuple Tree Generator: remove Model headers

2023-09-14 15:06:14 +02:00

Pipeline

pipeline: drop Disk from storage methods

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

PipelineC

pipeline: drop Disk from storage methods

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

Pipes

pipeline: drop Disk from storage methods

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

PTML

Doxygen: strip trailing \param whitespace

2023-08-23 16:40:51 +02:00

Recompile

Enforce licence header consistency

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

Storage

S3StorageClient: fix bug in generateNewFilename

2023-09-14 15:06:14 +02:00

Support

Introduce GzipTarFile

2023-09-06 15:23:43 +02: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

PTML: introduce data-scope-location

2023-07-31 16:05:51 +02:00

CMakeLists.txt

revng: introduce S3 support

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