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
52dc3faf2cfc8d3b6bcaef99649b2d9cf6c35e12
revng-revng/lib
T
History
Alessandro Di Federico 52dc3faf2c CFGAnalyzer: noreturn tail calls do not return
2023-10-05 10:19:44 +02:00
..
ABI
TupleTreeReference::isValid is for assertions only
2023-08-23 16:14:05 +02:00
BasicAnalyses
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
EarlyFunctionAnalysis
CFGAnalyzer: noreturn tail calls do not return
2023-10-05 10:19:44 +02:00
FunctionCallIdentification
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
FunctionIsolation
{,Dynamic}Function::Prototype: support typedefs
2023-10-05 10:19:44 +02:00
GraphLayout
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
Lift
TupleTreeReference::isValid is for assertions only
2023-08-23 16:14:05 +02:00
Model
TypeCopier: minor rework
2023-10-05 10:19:44 +02:00
Pipeline
pipeline: Emit error if a pipe is not LLVM one
2023-09-21 08:05:50 +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
{,Dynamic}Function::Prototype: support typedefs
2023-10-05 10:19:44 +02:00
Recompile
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
Storage
Implement storage credentials update
2023-09-14 17:32:08 +02:00
Support
Introduce GzipTarFile
2023-09-06 15:23:43 +02:00
TypeShrinking
TypeShrinking: shrink zext(value) == constant
2023-07-26 10:16:25 +02:00
UnitTestHelpers
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
ValueMaterializer
AdvancedValueInfo: improve logging
2023-07-26 10:16:25 +02:00
Yield
PTML: introduce data-scope-location
2023-07-31 16:05:51 +02:00
CMakeLists.txt
revng: introduce S3 support
2023-09-06 15:23:43 +02:00