Ivan Krysak dace089658 EFA: improve robustness against non-existent FSO

2024-03-18 17:23:57 +01:00

..

ABI

Layout: introduce usedRegisters helper

2024-03-18 12:24:21 +00:00

BasicAnalyses

RegisterClobberer -> OpaqueRegisterUser

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

EarlyFunctionAnalysis

EFA: improve robustness against non-existent FSO

2024-03-18 17:23:57 +01:00

FunctionCallIdentification

Enforce licence header consistency

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

FunctionIsolation

EFA: split importModel into multiple methods

2024-03-18 14:27:47 +01:00

GraphLayout

Stop using std:: prefix for std::size_t

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

Lift

Lift: stop using Layout

2024-03-18 12:24:21 +00: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: be extra explicit about layout usage

2024-03-18 13:27:53 +00: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