Giacomo Vercesi 0c74c36e79 CLI: check that --resume is not a file ...

Add a check for command-line tools which returns an error in case the
command-line supplied `--resume` points to a file.

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

..

ABI

Add the version field to schemas YAML

2025-04-30 15:08:45 +02:00

ADT

Fix MIT license

2025-04-30 16:10:54 +02:00

Backend

Merge revng-c into revng

2024-11-21 10:50:55 +01: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

Add the version field to schemas YAML

2025-04-30 15:08:45 +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

Merge revng-c into revng

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

InitModelTypes

Merge revng-c into revng

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

Lift

Improve usages of Expected<T>

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

LocalVariables

LocalVariables: fix VariableTypeMDName string

2025-04-22 15:24:30 +02:00

MFP

MFP: use the provided GraphTraits for RPOT

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

mlir

Implement dirty bit on Container

2025-04-03 15:59:18 +02:00

Model

Bump model version to v3

2025-04-30 15:08:45 +02:00

Pipeline

Pipeline: introduce an optional model path

2025-05-07 10:48:49 +02:00

PipelineC

Cleanup Storage classes

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

Pipes

CLI: check that --resume is not a file

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

PromoteStackPointer

Use revng_undefined_ instead of init_

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

PTML

Return to using constant name builders

2025-04-17 11:19:17 +03: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

MTGoTo: introduce the MaterializeTrivialGoto pass

2025-04-30 16:10:54 +02:00

Runtime

Minor changes

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

Storage

CLI: check that FilePaths are actually files

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

Support

OnQuit: clean up

2025-05-07 16:42:20 +02: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

Return to using constant name builders

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

TypeShrinking

BitLivenessWrapperPass::dump

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

UnitTestHelpers

Initialize pointers to nullptr

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

ValueMaterializer

Add DataFlowGraph::materializeOne method

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

Yield

Add the version field to schemas YAML

2025-04-30 15:08:45 +02:00

CMakeLists.txt

Merge revng-c into revng

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