admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/fix-rename
revng-revng/include/revng
T
History
Giacomo Vercesi c7d13fd176 PipelineC: fix model verification clause 
In the previous implementation of Model.verify an llvm::Error was
returned. Some call sites retained the logic associated with it. Fix
these with the correct logic.
Also fix an instance of `verify` that was missing an assert.
2023-03-20 16:20:06 +01:00
..
ABI
ABI: introduce an additional definition option
2023-03-15 10:19:03 +01:00
ADT
STLExtras: introduce some c++20 invocable concepts
2023-03-15 10:19:02 +01:00
BasicAnalyses
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
EarlyFunctionAnalysis
PipelineC: fix model verification clause
2023-03-20 16:20:06 +01:00
FunctionCallIdentification
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
FunctionIsolation
PromoteCSV: tag init_ functions with register
2023-02-23 08:30:22 +01:00
Lift
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
MFP
Adopt std::same_as of libcxx
2022-04-15 18:25:08 +02:00
Model
BinaryImporter: rework command line interface
2023-03-15 10:19:03 +01:00
Pipeline
Pipeline: improve InvokableWrapperImpl::dump()
2023-03-15 10:19:02 +01:00
PipelineC
PipelineC: rework rp_error data type
2023-03-20 16:08:04 +01:00
Pipes
Introduce BasicBlockID
2023-02-23 14:51:10 +01:00
PTML
Add ptml::scopeTag helper function
2022-11-15 14:15:20 +01:00
Recompile
Pipeline: remove * from targets
2022-10-20 14:20:12 +02:00
Runtime
Introduce BasicBlockID
2023-02-23 14:51:10 +01:00
Support
BinaryImporter: rework command line interface
2023-03-15 10:19:03 +01:00
TupleTree
TupleTree: introduce replaceReferencesIf
2023-03-15 10:19:02 +01:00
TypeShrinking
Fix missing includes
2022-12-09 18:09:39 +01:00
UnitTestHelpers
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
Yield
Introduce BasicBlockID
2023-02-23 14:51:10 +01:00