38c6fa6368
CSAA: fix unknown CSVOffset for constants
2025-06-18 14:38:38 +02:00
b0bb497911
CSAA: improve logging
2025-06-18 13:25:40 +02:00
3afe53075e
CSAA: fix return value on changes
...
Before this commit, `forceEmptyMetadata` did not return a bool to notify
when it changed something.
This in turn caused the pass to return the wrong value when the only
change applied was to force the empty metadata.
This commit fixes the issue, letting `forceEmptyMetadata` return a bool,
and propagating that until where it matters.
2025-06-18 13:23:15 +02:00
0ac78dddba
Fix codespell errors
...
Fix erros detected by the new version of `codespell`.
2025-04-24 13:22:14 +02:00
e1c8c370f7
Lift: adopt helper registry
2025-04-17 11:19:17 +03:00
aa15d8ca21
Standardize abort-like function usage
2025-04-17 11:19:17 +03:00
c5c657d11b
Lift: increase determinism
2025-04-15 15:31:10 +02:00
16e01f43d6
Import revng-c's FunctionTags.h
2024-10-31 17:19:51 +01:00
c1cbb4e9a0
Initialize pointers to nullptr
2024-09-27 12:07:17 +02:00
7d235f4fd0
Enforce licence header consistency
...
Also do some basic cleanup: capitalize first letters, add `.`
at the end of the sentences, and so on.
2023-07-03 15:23:10 +00:00
9f1d9fd5d0
Use Container::contains() where appropriate
2023-07-02 15:06:11 +00:00
bc98e0079f
Formatting: change PenaltyReturnTypeOnItsOwnLine
...
The new value is 21.
2023-07-02 13:20:49 +02:00
7ed14ca65c
Minor improvements
2023-07-02 11:06:55 +00:00
31cd2b53f9
rcc: add codespell
...
Add codespell to the list of checks performed by
revng-check-conventions. This should reduce the amount of typos present
in the revng codebase.
2023-05-11 10:05:32 +02:00
170749b0aa
Introduce revng::verify
2023-04-28 14:04:31 +02:00
cdf1654f36
CSAA: do not use ptr, use pointee type
2023-04-08 08:42:24 +02:00
bcd374038c
s/zextOrSelf/zext/g
2023-04-08 08:42:24 +02:00
7a08d51816
Drop usages of PointerType::getElementType
2023-04-08 08:42:24 +02:00
a99d54457b
Drop usages of getInstList
2023-04-08 08:42:24 +02:00
dbcdad0a4d
Switch from llvm::Optional to std::optional
2023-04-08 08:42:24 +02:00
11c0d7f02e
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
0793e4afcb
Turn lifting into a pass
2022-03-11 15:37:12 +01:00
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
9e477d0ada
Make a library out of revng-lift
2021-12-22 13:47:21 +01:00
Pietro Fezzardi