Andrea Gussoni d2db8d4cfa ControlFlowEdgesGraph: improve at method ...

Improve the `at` method by giving it a coherent semantics with a
standard `at` map method semantics.

2023-10-09 10:33:48 +02:00

..

ABI

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00

ADT

Introduce GenericGraph::verify

2023-07-26 10:16:25 +02:00

BasicAnalyses

Add const qualifiers to some functions

2023-07-31 11:29:40 +02:00

EarlyFunctionAnalysis

{,Dynamic}Function::Prototype: support typedefs

2023-10-05 10:19:44 +02:00

FunctionCallIdentification

Use Container::contains() where appropriate

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

FunctionIsolation

PromoteCSV: tag init_ functions with register

2023-02-23 08:30:22 +01:00

GraphLayout

Forbid clang format off

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

Lift

Formatting: set AllowShortEnumsOnASingleLine

2023-07-02 13:15:08 +02:00

MFP

MFP::getMaximalFixedPoint: name return result type

2023-07-26 10:16:25 +02:00

Model

TypeCopier: minor rework

2023-10-05 10:19:44 +02:00

Pipeline

Cleanup revng.daemon graphql API

2023-09-14 15:44:33 +02:00

PipelineC

Implement storage credentials update

2023-09-14 17:32:08 +02:00

Pipes

Implement storage credentials update

2023-09-14 17:32:08 +02:00

PTML

PTML: introduce data-scope-location

2023-07-31 16:05:51 +02:00

Recompile

Rename LLVMGlobalKindBase to LLVMKind

2023-04-28 14:34:49 +02:00

Runtime

Formatting: change PenaltyReturnTypeOnItsOwnLine

2023-07-02 13:20:49 +02:00

Storage

Implement storage credentials update

2023-09-14 17:32:08 +02:00

Support

GraphAlgorithms: nodesBetween double DFS

2023-10-09 10:33:48 +02:00

TupleTree

Introduce TupleTreeReference::dump

2023-10-05 10:19:44 +02:00

TypeShrinking

Improve TypeShrinking

2023-07-26 10:16:25 +02:00

UnitTestHelpers

Formatting: change PenaltyReturnTypeOnItsOwnLine

2023-07-02 13:20:49 +02:00

ValueMaterializer

ControlFlowEdgesGraph: improve at method

2023-10-09 10:33:48 +02:00

Yield

{,Dynamic}Function::Prototype: support typedefs

2023-10-05 10:19:44 +02:00