Alessandro Di Federico bd1b5e4ef9 newpc: add nomerge, willreturn, nounwind

2023-10-06 17:16:04 +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

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

{,Dynamic}Function::Prototype: support typedefs

2023-10-05 10:19:44 +02:00

GraphLayout

Enforce licence header consistency

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

Lift

newpc: add nomerge, willreturn, nounwind

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

Model

DwarfImporter: handle invalid function addresses

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

Pipeline

pipeline: Emit error if a pipe is not LLVM one

2023-09-21 08:05:50 +02:00

PipelineC

Implement storage credentials update

2023-09-14 17:32:08 +02:00

Pipes

Implement storage credentials update

2023-09-14 17:32:08 +02:00

PTML

PTML Doxygen: emit comment only if present

2023-10-05 10:19:44 +02:00

Recompile

Enforce licence header consistency

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

Storage

Implement storage credentials update

2023-09-14 17:32:08 +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