Commit Graph

4 Commits

Author SHA1 Message Date
Alessandro Di Federico ac9d8ef90f model::Binary: add segments and imported libraries 2021-05-31 16:47:24 +02:00
Alessandro Di Federico c8ff9cde04 SegmentInfo::generateName: move to BinaryFile.cpp 2021-05-31 16:47:24 +02:00
Alessandro Di Federico f0d9e30d3e Drop obsolete debug files
This commit drops the generation of `.coverage.csv` and `.bbsummary.csv`
files. No one really uses them anymore.
2021-05-31 16:47:24 +02:00
Massimo Fioravanti e764722540 Moved revng lift to a library 2021-05-31 11:04:04 +02:00