Andrea Gussoni ba7ee595b5 BeautifyGHAST: introduce soft failure ...

Introduce an additional consistency check for loops having an empty body
at the beginning of the `beautify` pipeline.

2025-07-23 13:39:30 +02:00

..

ASTNode.cpp

Merge revng-c into revng

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

ASTNodeUtils.cpp

Standardize comment formatting

2025-02-13 13:09:50 +02:00

ASTTree.cpp

ASTTree: introduce soft failure

2025-06-26 09:34:26 +02:00

BasicBlockNode.cpp

Merge revng-c into revng

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

BeautifyGHAST.cpp

BeautifyGHAST: introduce soft failure

2025-07-23 13:39:30 +02:00

CMakeLists.txt

ScopeGraph: remove the ScopeGraphLogger library

2025-07-23 11:34:13 +02:00

DAGifyPass.cpp

DAGify: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +02:00

EnforceSingleExitPass.cpp

ESE: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +02:00

ExprNode.cpp

Merge revng-c into revng

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

FallThroughScopeAnalysis.cpp

Standardize comment formatting

2025-02-13 13:09:50 +02:00

FallThroughScopeAnalysis.h

FallThroughScope: remove SwitchBreak type

2024-05-07 14:17:05 +02:00

GenericRegionInfo.cpp

Fix MIT license

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

GenericRegionPass.cpp

Fix MIT license

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

InlineDispatcherSwitch.cpp

InlineDispatcherSwitch: soft fail

2025-06-26 12:02:38 +02:00

InlineDispatcherSwitch.h

InlineDispatcherSwitch: improve function signature

2024-05-07 14:17:05 +02:00

InlineDivergentScopesPass.cpp

IDS: improve collection restart criterion

2025-06-12 15:31:38 +02:00

MaterializeTrivialGotoPass.cpp

MTGoTo: introduce the MaterializeTrivialGoto pass

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

MetaRegion.cpp

Merge revng-c into revng

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

PromoteCallNoReturn.cpp

Standardize comment formatting

2025-02-13 13:09:50 +02:00

PromoteCallNoReturn.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

RegionCFGTree.cpp

Merge revng-c into revng

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

RemoveDeadCode.cpp

Merge revng-c into revng

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

RemoveDeadCode.h

RemoveDeadCode: dead code removal beautify

2024-05-07 14:17:05 +02:00

RestructureCFG.cpp

CommandLine: drop pathToStream

2025-07-23 11:34:13 +02:00

ScopeGraphAlgorithms.cpp

ScopeGraph: introduce isScopeGraphDecided helper

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

ScopeGraphLoggerPass.cpp

ScopeGraph: rename scope-graph-dumper

2025-07-23 11:34:13 +02:00

ScopeGraphUtils.cpp

IRHelperRegister: get a comment from Description

2025-07-23 11:38:53 +02:00

SelectScopePass.cpp

SelectScope: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +02:00

SimplifyCompareNode.cpp

Merge revng-c into revng

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

SimplifyCompareNode.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

SimplifyDualSwitch.cpp

Merge revng-c into revng

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

SimplifyDualSwitch.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

SimplifyHybridNot.cpp

Merge revng-c into revng

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

SimplifyHybridNot.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

SimplifyImplicitStatement.cpp

Merge revng-c into revng

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

SimplifyImplicitStatement.h

Relicense to MIT

2024-02-29 17:03:36 +01:00