Ivan Krysak f2ab83489c Yield: fix missing delay slots ...

When converting to PTML half of the delay slot logic

2024-03-18 11:40:32 +00:00

..

ABI

ToCFT: fix last stack argument verification

2024-03-15 19:05:10 +01:00

BasicAnalyses

RegisterClobberer -> OpaqueRegisterUser

2023-12-11 16:29:13 +01:00

EarlyFunctionAnalysis

AttachDebugInfo: improve docs

2024-03-01 14:53:07 +01:00

FunctionCallIdentification

Enforce licence header consistency

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

FunctionIsolation

InlineHelpers: fix bug preventing inlining helpers

2024-02-09 10:04:18 +01:00

GraphLayout

PermutationSelection: rethink iteration count

2024-03-18 11:58:11 +01:00

Lift

ValueMaterializer: work around unreachable blocks

2024-03-15 19:05:10 +01:00

Model

Move ImmediateStyle configuration to the model

2024-03-18 11:58:11 +01:00

Pipeline

Pipeline: be more explicit when step names collide

2024-02-09 15:09:37 +00:00

PipelineC

Stop using std:: prefix for std::size_t

2024-01-29 11:57:54 +02:00

Pipes

Convert all public strings to kebab-case

2024-02-09 10:04:24 +01:00

PTML

Doxygen: function prototype is optional

2024-02-09 10:04:21 +01:00

Recompile

Drop tools/link-for-translation

2024-02-09 10:04:26 +01:00

Storage

Storage: fix writing to a pipe

2024-02-09 10:04:18 +01:00

Support

MetaAddress: add partial serialization option

2024-03-18 11:58:11 +01: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

Yield: fix missing delay slots

2024-03-18 11:40:32 +00:00

CMakeLists.txt

revng: introduce S3 support

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