240f334d78
Fix minor wording issues
2022-08-05 17:27:56 +03:00
8d89be44fc
Add initialization utility to all main functions
2022-07-22 21:04:03 +02:00
f4684e244d
Switch to new testsuite
2022-06-20 19:04:18 +02:00
d81dc49809
revng-check-conventions: license check
2022-04-20 09:55:18 +02:00
52a5c700e1
revng-check-conventions: add shellcheck
...
Add bash script checks with shellcheck + `set` rule.
Also, all existing bash scripts have been fixed.
2022-04-20 09:54:51 +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
c7fe3b0a42
Improve ABI testing artifact naming
2022-03-28 15:43:34 +02:00
2313335feb
abi-verify: move to a byte array-oriented approach
2022-03-28 15:43:34 +02:00
a7617f3567
Describe the ABI testing utilities
2022-03-28 15:43:32 +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
974229b171
Optimize the ABI testing script
2022-03-28 15:38:01 +02:00
640ab18d60
Rework renvg-abi-verify
2022-03-28 15:38:01 +02:00
fdfaf754c0
Improve ABI test directory name and tags
2022-03-28 15:37:59 +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
Ivan Krysak