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/lib
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::FunctionType: standardize std integer usage
2023-03-15 10:19:03 +01:00
BasicAnalyses
Introduce BasicBlockID
2023-02-23 14:51:10 +01:00
EarlyFunctionAnalysis
DetectABI: leave a todo on droping RS deductions
2023-03-15 10:19:03 +01:00
FunctionCallIdentification
Introduce BasicBlockID
2023-02-23 14:51:10 +01:00
FunctionIsolation
ABI: separate convertions based on the direction
2023-03-15 10:19:02 +01:00
Lift
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
Model
TypeCopier: copy PrimitiveTypes only when needed
2023-03-16 15:39:55 +01:00
Pipeline
Pipeline: fix pure (model only) analysis support
2023-03-15 10:19:01 +01:00
PipelineC
PipelineC: fix model verification clause
2023-03-20 16:20:06 +01:00
Pipes
Introduce DocumentError
2023-02-09 13:42:50 +01:00
PTML
PTMLIndentedOstream: rework write_impl
2022-09-01 17:46:04 +02:00
Recompile
BinaryImporter: rework command line interface
2023-03-15 10:19:03 +01:00
Support
BinaryImporter: rework command line interface
2023-03-15 10:19:03 +01:00
TypeShrinking
Adopt cmake-format
2022-03-17 18:52:18 +01:00
UnitTestHelpers
mv librevngUnitTestHelpers.{a,so}
2022-05-12 21:55:18 +02:00
Yield
yield: improve command-less pipe error messages
2023-03-15 10:19:01 +01:00
CMakeLists.txt
Introduce ptml namespace
2022-07-28 08:47:17 +02:00