Ivan Krysak d02e338d23 ToCFT: fix last stack argument verification ...

It was still broken, even after `feature/alignment-fixes`, so
this commit softens requirements even further, to allow some of
the desired cases to pass through the verifier.

2024-03-15 15:27:14 +01:00

..

ABI

ToCFT: fix last stack argument verification

2024-03-15 15:27:14 +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

Stop using std:: prefix for std::size_t

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

Lift

ValueMaterializer: work around unreachable blocks

2024-03-15 15:24:59 +01:00

Model

Model ::size(): do not suspend tracking

2024-03-01 14:53:07 +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

Progress: cap line length to terminal size

2024-03-01 17:47:28 +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

Convert all public strings to kebab-case

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

CMakeLists.txt

revng: introduce S3 support

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