Giacomo Vercesi 94aa2b51d2 Add Context Global Index

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

..

ABI

Pipeline options: restrict to int and strings

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

BasicAnalyses

Enforce licence header consistency

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

EarlyFunctionAnalysis

DetectABI::propagatePrototypes: improve logging

2023-10-06 17:16:04 +02:00

FunctionCallIdentification

Enforce licence header consistency

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

FunctionIsolation

PromoteCSVs: use CSV initializer for non-GPRs

2023-10-24 09:49:05 +02:00

GraphLayout

Enforce licence header consistency

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

Lift

Fix typos

2023-11-02 16:48:33 +01:00

Model

Stop using std:: prefix for u?int\d+_t types

2023-11-02 17:10:03 +01:00

Pipeline

Add Context Global Index

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

PipelineC

Add Context Global Index

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

Pipes

Add Context Global Index

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

PTML

Doxygen: be quiet in absence of comments

2023-10-24 09:49:05 +02: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

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

Fix typos

2023-11-02 16:48:33 +01:00

CMakeLists.txt

revng: introduce S3 support

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