Alessandro Di Federico
|
c1ed018786
|
Fix a revng_assert meant to be a revng_abort
|
2022-03-08 12:25:22 +01:00 |
|
Ivan Krysak
|
242b885a78
|
Remove obsolete ABI utilities
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
68129c9221
|
Add model::Binary::DefaultABI field
|
2022-02-14 13:35:36 +01:00 |
|
Massimo Fioravanti
|
6f0d0c4f9d
|
CodeGenerator: accept an external model
|
2022-02-07 22:24:39 +01:00 |
|
Alessandro Di Federico
|
d0bb3d4c2c
|
CodeGenerator.cpp: use OriginalName for symbols
|
2022-01-27 11:51:03 +01:00 |
|
Alessandro Di Federico
|
445066bd0a
|
CodeGenerator.cpp: posticipate DWARF import
This way we apply the optimization passes.
|
2022-01-27 11:51:03 +01:00 |
|
Alessandro Di Federico
|
680924b643
|
CodeGenerator.cpp: drop some outdated assertions
Drop some outdated checks for `model::Binary::ImportedDynamicFunctions`
being sorted.
|
2022-01-27 11:51:03 +01:00 |
|
Filippo Cremonese
|
fbeee896e1
|
Rename model::abi -> model::ABI
|
2022-01-10 10:31:27 +01:00 |
|
Alessandro Di Federico
|
cfb47157b9
|
clang-tidy: readability-identifier-naming
This commit fixes all the non-compliance with our preliminary clang-tidy
configuration, which will be merged soon.
|
2022-01-07 09:18:05 +01:00 |
|
Alessandro Di Federico
|
6073133545
|
CodeGenerator: drop IR emission duties
|
2021-12-22 17:47:54 +01:00 |
|
Alessandro Di Federico
|
27b553f09e
|
CodeGenerator: stop emitting .li.csv and .need.csv
|
2021-12-22 17:47:54 +01:00 |
|
Alessandro Di Federico
|
5a28bfedea
|
Move SegmentInfo::generateName to BinaryFile.cpp
|
2021-12-22 13:47:21 +01:00 |
|
Alessandro Di Federico
|
57ae7613e1
|
Drop obsolete debug files
This commit drops the generation of `.coverage.csv` and `.bbsummary.csv`
files. No one really uses them anymore.
|
2021-12-22 13:47:21 +01:00 |
|
Massimo Fioravanti
|
9e477d0ada
|
Make a library out of revng-lift
|
2021-12-22 13:47:21 +01:00 |
|