Giacomo Vercesi c2afb05049 VerifyHelper: set ReasonBuffer with simple str ...

When using `maybeFail(bool, llvm::Twine)` the `ReasonBuffer` variable
was not being set, leading sometimes to the verify reason being an empty
string.

2025-09-09 12:27:33 +02:00

..

ABI

Use explicit separator strings

2025-07-23 11:38:52 +02:00

ADT

TrackingContainer: introduce unwrap

2025-07-23 11:38:51 +02:00

Backend

ptml::CTypeBuilder: rename into ModelCBuilder

2025-07-23 11:38:53 +02:00

BasicAnalyses

getJTReasons: Work on const instructions

2025-04-17 11:19:17 +03:00

DataLayoutAnalysis

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

EarlyFunctionAnalysis

TTG: inline root type in schema

2025-06-25 15:40:13 +02:00

FunctionCallIdentification

Use Container::contains() where appropriate

2023-07-02 15:06:11 +00:00

FunctionIsolation

Adopt invalidation along the core pipeline

2024-06-20 10:24:50 +02:00

GraphLayout

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

HeadersGeneration

ptml::CTypeBuilder: rename into ModelCBuilder

2025-07-23 11:38:53 +02:00

InitModelTypes

Add initModeTypesConsideringUses

2025-05-29 09:38:01 +02:00

Lift

Improve usages of Expected<T>

2024-10-10 14:50:26 +02:00

LocalVariables

Fix LocalVariableHelpers const correctness

2025-06-04 15:13:47 +02:00

MFP

MFP: use the provided GraphTraits for RPOT

2024-04-18 17:50:32 +02:00

mlir

ptml::CTypeBuilder: rename into ModelCBuilder

2025-07-23 11:38:53 +02:00

Model

VerifyHelper: set ReasonBuffer with simple str

2025-09-09 12:27:33 +02:00

Pipeline

std::string: use implicit default constructor

2025-07-23 11:38:53 +02:00

PipelineC

Cleanup Storage classes

2025-05-07 16:42:34 +02:00

Pipes

Update ptml documentation

2025-07-23 11:38:53 +02:00

PromoteStackPointer

Use revng_undefined_ instead of init_

2025-04-17 11:19:17 +03:00

PTML

Prevent Support headers from depending on PTML

2025-05-08 15:42:01 +02:00

Recompile

Drop Pipe::print

2024-09-27 12:07:18 +02:00

RegisterUsageAnalyses

Add some missing includes

2024-05-03 21:52:40 +02:00

RemoveExtractValues

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RestructureCFG

ScopeGraph: add scope-graph-output cl::opt

2025-07-23 11:34:13 +02:00

Runtime

Minor changes

2024-07-10 15:34:19 +02:00

Storage

FilePath: fix addExtension

2025-06-27 17:12:18 +02:00

Support

Rename _START_AT -> _STARTS_AT

2025-08-29 14:00:29 +03:00

tests/unit

tests: ensure architecture is always available

2025-04-17 11:19:17 +03:00

TupleTree

Implement LLMRenameAnalysis

2025-05-06 09:59:46 +02:00

TypeNames

ModelCBuilder: rework handling of padding fields

2025-09-04 16:57:16 +03:00

TypeShrinking

BitLivenessWrapperPass::dump

2024-07-10 16:19:26 +02:00

UnitTestHelpers

std::string: use implicit default constructor

2025-07-23 11:38:53 +02:00

ValueMaterializer

Add DataFlowGraph::materializeOne method

2024-05-29 16:25:53 +02:00

Yield

CFG: introduce flat per-line padding

2025-07-24 13:31:29 +03:00

CMakeLists.txt

Merge revng-c into revng

2024-11-21 10:50:55 +01:00