Giacomo Vercesi db1691b03f Adopt new PTML tags ...

Change the emitted disassembly to include the
`data-action-context-location` and `data-name-of` tags.

2023-11-03 16:30:40 +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

Adopt new PTML tags

2023-11-03 16:30:40 +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

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

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