d81dc49809
revng-check-conventions: license check
2022-04-20 09:55:18 +02:00
e40ded965f
QualifiedType RawFunctionType.StackArgumentsType
...
The `StackArgumentsType` field of `RawFunctionType` was the only
cross-reference between `model::Type`s that did not use
`model::QualifiedType` but a naked `TupleTreeReference`.
Switching it to `QualifiedType` make all cross-references across
`model::Type`s homogeneous.
2022-04-08 18:58:58 +02:00
f6c9b04c81
Adopt clang-tidy: readability-identifier-naming
2022-04-04 21:15:52 +02:00
2313335feb
abi-verify: move to a byte array-oriented approach
2022-03-28 15:43:34 +02:00
23173aef29
Add a specialized model comparison tool
...
It fixes mistreated RFT stack arguments before relying on model passes
for the comparison itself.
2022-03-28 15:38:04 +02:00
640ab18d60
Rework renvg-abi-verify
2022-03-28 15:38:01 +02:00
2b55d1df22
Adopt cmake-format
2022-03-17 18:52:18 +01:00
1df6bbc6d6
Introduce ABI testing infrastructure
2022-02-14 13:35:37 +01:00
Giacomo Vercesi